krr / IDP / issues / #342 - Function Constraints for known functions — Bitbucket

Issue #342 resolved

Bart Bogaerts created an issue 2013-02-05

For two-valued functions, the funcconstraints should not be added to the grounding!

Comments (2)

Broes De Cat
- changed status to resolved
Fixes ~~#342~~: Filtering out function constraints of known functions.

→ <<cset e44b43d18b31>>
- 2013-02-21T09:08:45+00:00
Bart Bogaerts reporter
Merged in func_constr_known_funcs (pull request #79)

Fixes ~~#342~~: Filtering out function constraints of known functions.

→ <<cset 85361c1a80d9>>
- 2013-02-25T14:53:20+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

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