OKlib::Satisfiability::Assignments::PartialAssignments Namespace Reference

Components regarding partial assignments. More...

Classes
class	BPass0
	An immutable boolean partial assignment in the simplest form. More...
class	ApplyPassAdaptor
	CLSAdaptor, which applies a partial assignments, and transfers the result to another CLSAdaptor. More...

---

Detailed Description

Components regarding partial assignments.