Uses of Class
org.jacop.jasat.core.clauses.AbstractClausesDatabase
Packages that use AbstractClausesDatabase
Package
Description
-
Uses of AbstractClausesDatabase in org.jacop.jasat.core
Fields in org.jacop.jasat.core with type parameters of type AbstractClausesDatabaseModifier and TypeFieldDescriptionConfig.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.clausesModifier and TypeClassDescriptionfinal class
A database for binary clauses.final class
A standard database of clauses, implemented in an efficient way such that insertion or removal of clauses works fast.final class
A pool of long clauses, implemented with two watched an blocking literals to minimize cache misses.final class
A database for ternary clauses.final class
A database for unit clauses (length 1).Fields in org.jacop.jasat.core.clauses declared as AbstractClausesDatabaseMethods in org.jacop.jasat.core.clauses with parameters of type AbstractClausesDatabaseModifier and TypeMethodDescriptionvoid
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.translationModifier and TypeClassDescriptionfinal class
clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.