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.
final class	BinaryClausesDatabase	A database for binary clauses.
final class	DatabasesStore	This provides a unique interface to several databases.
final class	DefaultClausesDatabase	A standard database of clauses, implemented in an efficient way such that insertion or removal of clauses works fast.
final class	LongClausesDatabase	A pool of long clauses, implemented with two watched an blocking literals to minimize cache misses.
final class	TernaryClausesDatabase	A database for ternary clauses.
final 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
final class	DomainClausesDatabase	clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.