Uses of Class
org.jacop.jasat.core.clauses.AbstractClausesDatabase
-
Packages that use AbstractClausesDatabase Package Description org.jacop.jasat.core org.jacop.jasat.core.clauses org.jacop.satwrapper.translation -
-
Uses of AbstractClausesDatabase in org.jacop.jasat.core
Fields in org.jacop.jasat.core with type parameters of type AbstractClausesDatabase Modifier and Type Field Description java.util.List<AbstractClausesDatabase>
Config. clausesDatabases
the list of databases the solver must add -
Uses of AbstractClausesDatabase in org.jacop.jasat.core.clauses
Subclasses of AbstractClausesDatabase in org.jacop.jasat.core.clauses Modifier and Type Class Description class
BinaryClausesDatabase
A database for binary clauses.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).Fields in org.jacop.jasat.core.clauses declared as AbstractClausesDatabase Modifier and Type Field Description AbstractClausesDatabase[]
DatabasesStore. databases
Methods in org.jacop.jasat.core.clauses with parameters of type AbstractClausesDatabase Modifier and Type Method Description void
DatabasesStore. addDatabase(AbstractClausesDatabase database)
Adds a ClausesDatabase to the Store -
Uses of AbstractClausesDatabase in org.jacop.satwrapper.translation
Subclasses of AbstractClausesDatabase in org.jacop.satwrapper.translation Modifier and Type Class Description class
DomainClausesDatabase
clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.
-