|
||||||||||
| 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 | |
| IMarkableLits | |
| 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 | |
|---|---|
| DotSearchListener | |
| Handle<T> | This class simply holds a reference to a object. |
| Heap | |
| IntQueue | |
| LiteralsUtils | Utility methods to avoid using bit manipulation inside code. |
| 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 | |||||||||