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

D

DataStructureFactory<L extends ILits> - Interface in org.sat4j.minisat.core

The aim of the factory is to provide a concrete implementation of clauses, cardinality constraints and pseudo boolean consraints.

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

decode(int[], PrintWriter) - Method in class org.sat4j.reader.AAGReader

decode(int[]) - Method in class org.sat4j.reader.AIGReader

decode(int[], PrintWriter) - Method in class org.sat4j.reader.AIGReader

decode(int[], PrintWriter) - Method in class org.sat4j.reader.CSPReader

decode(int[]) - Method in class org.sat4j.reader.CSPReader

decode(int[]) - Method in class org.sat4j.reader.DimacsReader

decode(int[], PrintWriter) - Method in class org.sat4j.reader.DimacsReader

decode(int[]) - Method in class org.sat4j.reader.GoodOPBReader

decode(int[], PrintWriter) - Method in class org.sat4j.reader.GoodOPBReader

decode(int[]) - Method in class org.sat4j.reader.InstanceReader

decode(int[], PrintWriter) - Method in class org.sat4j.reader.InstanceReader

decode(int[]) - Method in class org.sat4j.reader.LecteurDimacs

decode(int[], PrintWriter) - Method in class org.sat4j.reader.LecteurDimacs

decode(int[]) - Method in class org.sat4j.reader.OPBReader2005

decode(int[], PrintWriter) - Method in class org.sat4j.reader.OPBReader2005

decode(int[]) - Method in class org.sat4j.reader.Reader

Deprecated.

decode(int[], PrintWriter) - Method in class org.sat4j.reader.Reader

Produce a model using the reader format on a provided printwriter.

decode(int[]) - Method in class org.sat4j.reader.XMLCSPReader

decode(int[], PrintWriter) - Method in class org.sat4j.reader.XMLCSPReader

decode(int[]) - Method in class org.sat4j.tools.DimacsArrayReader

decode(int[]) - Method in class org.sat4j.tools.DimacsArrayToDimacsConverter

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

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

DefaultWLClause(IVecInt, ILits) - Constructor for class org.sat4j.minisat.constraints.cnf.DefaultWLClause

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.

DimacsArrayReader - Class in org.sat4j.tools

Very simple Dimacs array reader.

DimacsArrayReader(ISolver) - Constructor for class org.sat4j.tools.DimacsArrayReader

DimacsArrayToDimacsConverter - Class in org.sat4j.tools

Converts Dimacs problems in array format (without the terminating 0) to Dimacs Strings.

DimacsArrayToDimacsConverter(int) - Constructor for class org.sat4j.tools.DimacsArrayToDimacsConverter

DimacsOutputSolver - Class in org.sat4j.tools

Solver used to display in a writer the CNF instance in Dimacs format.

DimacsOutputSolver() - Constructor for class org.sat4j.tools.DimacsOutputSolver

DimacsOutputSolver(PrintWriter) - Constructor for class org.sat4j.tools.DimacsOutputSolver

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

DirectEncoding - Class in org.sat4j.reader.csp

disableNumberOfConstraintCheck() - Method in class org.sat4j.reader.DimacsReader

discard() - Method in class org.sat4j.opt.MaxSatDecorator

discard() - Method in class org.sat4j.opt.MinCostDecorator

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

domain() - Method in class org.sat4j.reader.csp.Constant

Domain - Interface in org.sat4j.reader.csp

domain() - Method in interface org.sat4j.reader.csp.Evaluable

Return the domain of the evaluable.

domain() - Method in class org.sat4j.reader.csp.Var

DotSearchListener - Class in org.sat4j.minisat.core

Class allowing to express the search as a tree in the dot language.

DotSearchListener(String) - Constructor for class org.sat4j.minisat.core.DotSearchListener