|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
AssertingClauseGenerator | An assertingClauseGenerator is responsible for the creation of an asserting clause during conflict analysis. |
Constr | |
DataStructureFactory | |
ILits | |
ILits2 | |
ILits23 | |
IOrder | |
Learner | |
LearningStrategy | |
Propagatable | This interface is to be implemented by the classes wanted to be notified of the falsification of a literal. |
SearchListener | |
Undoable | |
UnitPropagationListener | |
VarActivityListener |
Class Summary | |
---|---|
Handle<T> | This class simply holds a reference to a object. |
Heap | |
IntQueue | |
SearchParams | |
Solver | |
SolverStats | |
TextOutputListener |
Enum Summary | |
---|---|
Lbool |
Implementation of the MiniSAT solver skeleton. This is the place to go for looking more deeply into a SAT solver. All of the abstractions needed to customize a solver are defined here.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |