krr / IDP / issues / #506 - Bug in cpsupported grounderfactory — Bitbucket

Issue #506 resolved

Broes De Cat created an issue 2013-08-29

Makes a funcgrounder for optimizationsterms, even if they are not cpable. Solution: introduce a new integer cp variable and add a sentence to the theory.

bug_3.idp

Comments (2)

Broes De Cat reporter
- attached bug_3.idp
- 2013-08-29T09:37:24+00:00
Broes De Cat reporter
- changed status to resolved
Fixes ~~#506~~: throws proper error (TODO implement better solution).

→ <<cset 8d8b061e7925>>
- 2013-08-29T19:47:09+00:00
Log in to comment

Assignee: Broes De Cat

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 0

Jira: the preferred issue tracker for Bitbucket. Join the team!