Uses of Class
org.sat4j.minisat.constraints.cnf.OriginalBinaryClause

Packages that use OriginalBinaryClause

Package	Description
org.sat4j.minisat.constraints.cnf	Implementations of clausal constraints.
org.sat4j.pb.constraints.pb	Implementations of pseudo boolean constraints.

Uses of OriginalBinaryClause in org.sat4j.minisat.constraints.cnf

Methods in org.sat4j.minisat.constraints.cnf that return OriginalBinaryClause

Modifier and Type	Method and Description
static OriginalBinaryClause	OriginalBinaryClause.brandNewClause(UnitPropagationListener s, ILits voc, IVecInt literals) Creates a brand new clause, presumably from external data.

Uses of OriginalBinaryClause in org.sat4j.pb.constraints.pb

Subclasses of OriginalBinaryClause in org.sat4j.pb.constraints.pb

Modifier and Type	Class and Description
class	OriginalBinaryClausePB