Uses of Interface
org.jacop.jasat.core.clauses.ClauseDatabaseInterface
Packages that use ClauseDatabaseInterface
-
Uses of ClauseDatabaseInterface in org.jacop.jasat.core.clauses
Classes in org.jacop.jasat.core.clauses that implement ClauseDatabaseInterfaceModifier and TypeClassDescriptionclass
This class specifies an abstract class for clauses pools.final class
A database for binary clauses.final class
This provides a unique interface to several databases.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). -
Uses of ClauseDatabaseInterface in org.jacop.satwrapper.translation
Classes in org.jacop.satwrapper.translation that implement ClauseDatabaseInterfaceModifier and TypeClassDescriptionfinal class
clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.