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

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

Satisfait un litt?

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

Satisfait un litt�ral

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

Utilis�e pour accro�tre 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

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