OKlibrary  0.2.1.6
OKlib::Satisfiability::Reductions::UnitClausePropagation Namespace Reference

Components for unit-clause propagation ("UCP") More...

Classes

class  CLSAdaptorUcp
 Transferring a (boolean) clause-set into a clause-list, and then performing unit-clause propagation. More...
class  CLSAdaptorUcpW
 Transferring a (boolean) clause-set into a clause-list, and then performing UCP using watched literals. More...

Detailed Description

Components for unit-clause propagation ("UCP")

Alias "Ucp".