OKlibrary  0.2.1.6
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.