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

Packages that use CBClause

org.sat4j.minisat.constraints.cnf

Implementations of clausal 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)