A B C D E F G H I J L M N O P R S T U V W X

B

backbone(ISolver) - Static method in class org.sat4j.tools.RemiUtils

Compute the set of literals common to all models of the formula.

backtracking(int) - Method in interface org.sat4j.minisat.core.SearchListener

backtrack on a decision variable

backtracking(int) - Method in class org.sat4j.minisat.core.TextOutputListener

beginLoop() - Method in interface org.sat4j.minisat.core.SearchListener

starts a propagation

beginLoop() - Method in class org.sat4j.minisat.core.TextOutputListener

belongsToPool(int) - Method in class org.sat4j.minisat.constraints.cnf.Lits

belongsToPool(int) - Method in interface org.sat4j.minisat.core.ILits

Returns true iff the variable is used in the set of constraints.

BinaryClauses - Class in org.sat4j.minisat.constraints.cnf

BinaryClauses(ILits, int) - Constructor for class org.sat4j.minisat.constraints.cnf.BinaryClauses

binaryClauses(int, int) - Method in class org.sat4j.minisat.constraints.cnf.Lits2

binaryClauses(int, int) - Method in interface org.sat4j.minisat.core.ILits2

Method to create a binary clause.

brandNewClause(UnitPropagationListener, ILits, IVecInt) - Static method in class org.sat4j.minisat.constraints.cnf.CBClause

brandNewClause(UnitPropagationListener, ILits, IVecInt) - Static method in class org.sat4j.minisat.constraints.cnf.MixableCBClause

brandNewClause(UnitPropagationListener, ILits, IVecInt) - Static method in class org.sat4j.minisat.constraints.cnf.WLClause

Creates a brand new clause, presumably from external data.