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

Packages that use OriginalBinaryClause

Package	Description
org.sat4j.minisat.constraints.cnf
org.sat4j.pb.constraints.pb

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