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".