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.