Uses of Interface
org.jacop.jasat.core.clauses.ClauseDatabaseInterface
-
Packages that use ClauseDatabaseInterface Package Description org.jacop.jasat.core.clauses org.jacop.satwrapper.translation -
-
Uses of ClauseDatabaseInterface in org.jacop.jasat.core.clauses
Classes in org.jacop.jasat.core.clauses that implement ClauseDatabaseInterface Modifier and Type Class Description class
AbstractClausesDatabase
This class specifies an abstract class for clauses pools.class
BinaryClausesDatabase
A database for binary clauses.class
DatabasesStore
This provides a unique interface to several databases.class
DefaultClausesDatabase
A standard database of clauses, implemented in an efficient way such that insertion or removal of clauses works fast.class
LongClausesDatabase
A pool of long clauses, implemented with two watched an blocking literals to minimize cache misses.class
TernaryClausesDatabase
A database for ternary clauses.class
UnaryClausesDatabase
A database for unit clauses (length 1). -
Uses of ClauseDatabaseInterface in org.jacop.satwrapper.translation
Classes in org.jacop.satwrapper.translation that implement ClauseDatabaseInterface Modifier and Type Class Description class
DomainClausesDatabase
clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.
-