Interface | Description |
---|---|
ClauseDatabaseInterface |
Interface for clause databases or database stores.
|
Class | Description |
---|---|
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).
|
Copyright © 2022. All rights reserved.