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

D

DataStructureFactory - Interface in org.sat4j.minisat.core
 
decisionLevel() - Method in class org.sat4j.minisat.core.Solver
 
decisions - Variable in class org.sat4j.minisat.core.SolverStats
 
DecisionUIP - Class in org.sat4j.minisat.uip
Decision UIP scheme for building an asserting clause.
DecisionUIP() - Constructor for class org.sat4j.minisat.uip.DecisionUIP
 
decode(int[]) - Method in class org.sat4j.reader.CSPReader
 
decode(int[]) - Method in class org.sat4j.reader.DimacsReader
 
decode(int[]) - Method in class org.sat4j.reader.GoodOPBReader
 
decode(int[]) - Method in class org.sat4j.reader.InstanceReader
 
decode(int[]) - Method in class org.sat4j.reader.LecteurDimacs
 
decode(int[]) - Method in class org.sat4j.reader.OPBReader2005
 
decode(int[]) - Method in class org.sat4j.reader.Reader
Produce a model using the reader format.
decode2dimacs(int) - Static method in class org.sat4j.minisat.core.Solver
decode the internal representation of a literal into Dimacs format.
decorated() - Method in class org.sat4j.tools.SolverDecorator
 
DefaultComparator<A extends java.lang.Comparable<A>> - Class in org.sat4j.core
 
DefaultComparator() - Constructor for class org.sat4j.core.DefaultComparator
 
defaultSolver() - Method in class org.sat4j.core.ASolverFactory
To obtain the default solver of the library.
defaultSolver() - Method in class org.sat4j.minisat.SolverFactory
 
delete(int) - Method in class org.sat4j.core.Vec
Delete the ith element of the vector.
delete(int) - Method in class org.sat4j.core.VecInt
Delete the ith element of the vector.
delete(int[]) - Method in class org.sat4j.minisat.core.DotSearchListener
 
delete(int[]) - Method in interface org.sat4j.minisat.core.SearchListener
delete a clause
delete(int[]) - Method in class org.sat4j.minisat.core.TextOutputListener
 
delete(int) - Method in interface org.sat4j.specs.IVec
Delete the ith element of the vector.
delete(int) - Method in interface org.sat4j.specs.IVecInt
Delete the ith element of the vector.
dequeue() - Method in class org.sat4j.minisat.core.IntQueue
returns the nexdt element in the queue.
DimacsReader - Class in org.sat4j.reader
Very simple Dimacs file parser.
DimacsReader(ISolver) - Constructor for class org.sat4j.reader.DimacsReader
 
DimacsReader(ISolver, String) - Constructor for class org.sat4j.reader.DimacsReader
 
disableNumberOfConstraintCheck() - Method in class org.sat4j.reader.DimacsReader
 
discard() - Method in class org.sat4j.opt.MaxSatDecorator
 
discard() - Method in class org.sat4j.opt.MinOneDecorator
 
discard() - Method in class org.sat4j.opt.PseudoOptDecorator
 
discard() - Method in class org.sat4j.opt.WeightedMaxSatDecorator
 
discard() - Method in interface org.sat4j.specs.IOptimizationProblem
 
DotSearchListener - Class in org.sat4j.minisat.core
 
DotSearchListener(String) - Constructor for class org.sat4j.minisat.core.DotSearchListener
 

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