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

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

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

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

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

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.

equals(Object) - Method in class org.sat4j.minisat.constraints.card.MinWatchCard

equals(Object) - Method in class org.sat4j.minisat.constraints.cnf.WLClause

ExitCode - Class 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

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

expireTimeout() - Method in interface org.sat4j.specs.ISolver

Expire the timeout of the solver.

expireTimeout() - Method in class org.sat4j.tools.DimacsOutputSolver

expireTimeout() - Method in class org.sat4j.tools.DimacsStringSolver

expireTimeout() - Method in class org.sat4j.tools.SolverDecorator

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

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