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
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
 
ExitCode - Enum in org.sat4j
Enumeration allowing to manage easily exit code for the SAT and PB Competitions.
EXT_JU - Static variable in class org.sat4j.ResultsManager
 
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
 

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