Hierarchy For Package org.jacop.jasat.core.clauses

Package Hierarchies:

• All Packages

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>)

Interface Hierarchy

• org.jacop.jasat.core.clauses.ClauseDatabaseInterface