Class Hierarchy
- java.lang.Object
- org.jacop.jasat.core.clauses.AbstractClausesDatabase (implements org.jacop.jasat.core.clauses.ClauseDatabaseInterface, org.jacop.jasat.core.SolverComponent)
- org.jacop.jasat.core.clauses.BinaryClausesDatabase
- org.jacop.jasat.core.clauses.DefaultClausesDatabase
- org.jacop.jasat.core.clauses.LongClausesDatabase
- org.jacop.jasat.core.clauses.TernaryClausesDatabase
- org.jacop.jasat.core.clauses.UnaryClausesDatabase
- org.jacop.jasat.core.clauses.ClauseState
- org.jacop.jasat.core.clauses.DatabasesStore (implements org.jacop.jasat.core.clauses.ClauseDatabaseInterface, org.jacop.jasat.core.SolverComponent)
- org.jacop.jasat.core.clauses.MapClause (implements java.lang.Iterable<T>)
- org.jacop.jasat.core.clauses.MapClause.ClauseIterator (implements java.util.Iterator<E>)
- org.jacop.jasat.core.clauses.AbstractClausesDatabase (implements org.jacop.jasat.core.clauses.ClauseDatabaseInterface, org.jacop.jasat.core.SolverComponent)
Interface Hierarchy
- org.jacop.jasat.core.clauses.ClauseDatabaseInterface