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

E

EMPTY - Static variable in class org.sat4j.core.VecInt

empty() - Method in class org.sat4j.minisat.core.Heap

Encoding - Interface in org.sat4j.reader.csp

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

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

End the search.

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

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

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

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

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

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

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

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

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

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

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

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

enqueue(int) - Method in class org.sat4j.minisat.core.Solver

Satisfait un litt?

enqueue(int, Constr) - Method in class org.sat4j.minisat.core.Solver

Put the literal on the queue of assignments to be done.

enqueue(int) - Method in interface org.sat4j.minisat.core.UnitPropagationListener

satisfies a literal

enqueue(int, Constr) - Method in interface org.sat4j.minisat.core.UnitPropagationListener

satisfies a literal

ensure(int) - Method in class org.sat4j.core.Vec

ensure(int) - Method in class org.sat4j.core.VecInt

ensure(int) - Method in class org.sat4j.minisat.core.IntQueue

Utilisee pour accroitre dynamiquement la taille de la queue.

ensure(int) - Method in interface org.sat4j.specs.IVec

ensure(int) - Method in interface org.sat4j.specs.IVecInt

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

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

EnumeratedDomain - Class in org.sat4j.reader.csp

EnumeratedDomain(int[]) - Constructor for class org.sat4j.reader.csp.EnumeratedDomain

equals(Object) - Method in class org.sat4j.core.Vec

equals(Object) - Method in class org.sat4j.core.VecInt

Two vectors are equals iff they have the very same elements in the order.

Evaluable - Interface in org.sat4j.reader.csp

ExitCode - Enum in org.sat4j

Enumeration allowing to manage easily exit code for the SAT and PB Competitions.

EXPENSIVE_SIMPLIFICATION - Variable in class org.sat4j.minisat.core.Solver

EXT_JU - Static variable in class org.sat4j.ResultsManager

ExtendedDimacsArrayReader - Class in org.sat4j.tools

Reader for the Extended Dimacs format proposed by Fahiem Bacchus and Toby Walsh in array representation (without the terminating 0).

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

ExtendedDimacsArrayToDimacsConverter - Class in org.sat4j.tools

Converter from the Extended Dimacs format proposed by Fahiem Bacchus and Toby Walsh in array representation (without the terminating 0) to the Dimacs format.

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

ExtendedDimacsReader - Class in org.sat4j.reader

Reader for the Extended Dimacs format proposed by Fahiem Bacchus and Toby Walsh.

ExtendedDimacsReader(ISolver) - Constructor for class org.sat4j.reader.ExtendedDimacsReader