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

Packages that use WLClause

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

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

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

static WLClause

WLClause.brandNewClause(UnitPropagationListener s, ILits voc, IVecInt literals) Creates a brand new clause, presumably from external data.

Uses of WLClause in org.sat4j.minisat.constraints.pb

Subclasses of WLClause in org.sat4j.minisat.constraints.pb

class

WLClausePB