| AbstractClausesDatabase |
This class specifies an abstract class for clauses pools.
|
| BinaryClausesDatabase |
A database for binary clauses.
|
| ClauseState |
constants that represent the state of a clause at some point in the search
|
| DatabasesStore |
This provides a unique interface to several databases.
|
| DefaultClausesDatabase |
A standard database of clauses, implemented in an efficient way such that insertion
or removal of clauses works fast.
|
| LongClausesDatabase |
A pool of long clauses, implemented with two watched an blocking literals
to minimize cache misses.
|
| MapClause |
A clause used for resolution, easily modifiable several times, and that
can then be converted to an int[].
|
| TernaryClausesDatabase |
A database for ternary clauses.
|
| UnaryClausesDatabase |
A database for unit clauses (length 1).
|