org.jacop.jasat.core.clauses

Interfaces

• ClauseDatabaseInterface

Classes

• AbstractClausesDatabase
• BinaryClausesDatabase
• ClauseState
• DatabasesStore
• DefaultClausesDatabase
• LongClausesDatabase
• MapClause
• TernaryClausesDatabase
• UnaryClausesDatabase