krr / IDP / issues / #253 - Approximation in definition evaluation — Bitbucket

Issue #253 duplicate

Broes De Cat created an issue 2012-10-24

Approximation should be used during definition evaluation, not generating all ct heads and setting their complement afterwards in one step instead of iterating over the relation.

reachability.idp

Comments (4)

Broes De Cat reporter
But need to guarantee that correct semantics are still guaranteed (so not possible for wellfounded sem).
- 2012-10-25T12:03:51+00:00
Broes De Cat reporter
Issue ~~#268~~ was marked as a duplicate of this issue.
- 2012-11-12T16:02:24+00:00
Broes De Cat reporter
- marked as enhancement
- 2012-12-13T13:10:02+00:00
Broes De Cat reporter
- changed status to duplicate
Duplicate of #406.
- 2013-12-30T12:41:18+00:00
Log in to comment

Assignee: –

Type: enhancement

Priority: minor

Status: duplicate

Component: –

Version: –

Votes: 0

Watchers: 0

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