OKlibrary  0.2.1.6
OKlib::Satisfiability::Assignments::TotalAssignments Namespace Reference

Components regarding total assignments. More...

Classes

class  BAssignmentWithQueue
 Boolean assignments with queue for (elementary) assignments to be processed. More...
class  BAssignmentWithRQueue
 Boolean assignments with resettable queue for (elementary) assignments to be processed. More...

Detailed Description

Components regarding total assignments.