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.