1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

LUP can be optimized

Issue #228 resolved
Bart Bogaerts created an issue

In some cases, if the combination of the ct and the cf bdd is twovalued, we can optimize the LUP, because we only need to run over one of the two tables.

Comments (1)

  2. Log in to comment
Assignee
Type
enhancement
Priority
major
Status
resolved
Component
BDDs
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!