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

Packages that use CBClause

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

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

Subclasses of CBClause in org.sat4j.minisat.constraints.cnf

class

MixableCBClause Counter Based clauses that can be mixed with WLCLauses

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

static CBClause	MixableCBClause.brandNewClause(UnitPropagationListener s, ILits voc, IVecInt literals)
static CBClause	CBClause.brandNewClause(UnitPropagationListener s, ILits voc, IVecInt literals)

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

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

class

MixableCBClausePB