krr / IDP / issues / #140 - Querying TODO — Bitbucket

Issue #140 resolved

Bart Bogaerts created an issue 2012-04-06

Documentation
Testing with three-valued structures

Comments (5)

Bart Bogaerts reporter
- changed component to BDDs
- 2012-04-06T10:51:42+00:00
Bart Bogaerts reporter
see issue 140

Documentation: Done Disabled querying of three-valued structures (notyetimplemented) because it doesn't work yet. There is a problem with "turnintoBDD", which evaluates formulas as if they are two-valued.

→ a12dd7843317
- 2012-04-17T10:26:59+00:00
Bart Bogaerts reporter
see issue 140

Documentation: Done Disabled querying of three-valued structures (notyetimplemented) because it doesn't work yet. There is a problem with "turnintoBDD", which evaluates formulas as if they are two-valued.

→ a12dd7843317
- 2012-04-17T11:29:16+00:00
Bart Bogaerts reporter
- changed status to resolved
- 2012-04-19T07:34:13+00:00
Broes De Cat
- removed milestone
Removing milestone: BDD's added (automated comment)
- 2013-01-30T09:36:46+00:00
Log in to comment

Assignee: Bart Bogaerts

Type: task

Priority: major

Status: resolved

Component: BDDs

Version: –

Votes: 0

Watchers: 1

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