XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

• Summary
• Files
• Reviews
• Support
• Mail Lists
• Tickets ▾
  • Bugs
  • Feature Requests
  • Support Requests
  • Patches
• News
• Sources (GIT)
• Src (SVN)-old

Menu ▾ ▴

 

• Browse Commits
• Browse Files

Commit [r8554]  Maximize  Restore  History

Fixed aggregation so lattice and fold now work with undefined answers.

This restores the functionality that Teri introduced, but in which we
found a bug. It also extends it to fold. It detects if no undefs
occur and uses the earlier more efficient version in that case. There
is some overhead for the checking but it is small compared to always
assuming undefineds occur.

It should be noted that producing all possible undef answers can be
combinatorically explosive, so care should be taken when using this
option.

Authored by: dwarren 2015-12-29

Browse code at this revision

Parent: [r8553]

Child: [r8555]

changed	/trunk/XSB/cmplib/cp_opt.P
changed	/trunk/XSB/cmplib/cp_opt.xwam

/trunk/XSB/cmplib/cp_opt.P Diff Switch to side-by-side view

/trunk/XSB/cmplib/cp_opt.xwam

Binary file was changed.