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 class org.sat4j.minisat.core.DotSearchListener

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

beginConstraint(String, int) - Method in class org.sat4j.reader.CSPReader

beginConstraintsSection(int) - Method in class org.sat4j.reader.CSPReader

beginDomain(String, int) - Method in class org.sat4j.reader.CSPReader

beginDomainsSection(int) - Method in class org.sat4j.reader.CSPReader

beginInstance(String) - Method in class org.sat4j.reader.CSPReader

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

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

starts a propagation

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

beginParameterList() - Method in class org.sat4j.reader.CSPReader

beginPredicate(String) - Method in class org.sat4j.reader.CSPReader

beginPredicatesSection(int) - Method in class org.sat4j.reader.CSPReader

beginRelation(String, int, int, boolean) - Method in class org.sat4j.reader.CSPReader

beginRelationsSection(int) - Method in class org.sat4j.reader.CSPReader

beginVariablesSection(int) - Method in class org.sat4j.reader.CSPReader

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.

BessiereSupports - Class in org.sat4j.reader.csp

BessiereSupports(int, int) - Constructor for class org.sat4j.reader.csp.BessiereSupports

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.

BinarySupportEncoding - Class in org.sat4j.reader.csp

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.OriginalWLClause

Creates a brand new clause, presumably from external data.

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

Creates a brand new clause, presumably from external data.

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

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

Creates a brand new clause, presumably from external data.

buildConstraintFromConflict(IVecInt, IVec<BigInteger>) - Method in interface org.sat4j.minisat.constraints.pb.IDataStructurePB

buildConstraintFromConflict(IVecInt, IVec<BigInteger>) - Method in class org.sat4j.minisat.constraints.pb.MapPb

buildConstraintFromMapPb(int[], BigInteger[]) - Method in interface org.sat4j.minisat.constraints.pb.IDataStructurePB

buildConstraintFromMapPb(int[], BigInteger[]) - Method in class org.sat4j.minisat.constraints.pb.MapPb