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

Packages that use OriginalWLClause

Package	Description
org.sat4j.minisat.constraints.cnf	Implementations of clausal constraints.

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

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

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