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
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
final class	BinaryClausesDatabase	A database for binary clauses.
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).

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
final class	DomainClausesDatabase	clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.