Uses of Package
org.jacop.jasat.core.clauses

Packages that use org.jacop.jasat.core.clauses

Package	Description
org.jacop.jasat.core
org.jacop.jasat.core.clauses
org.jacop.jasat.modules
org.jacop.jasat.modules.interfaces
org.jacop.satwrapper
org.jacop.satwrapper.translation

Classes in org.jacop.jasat.core.clauses used by org.jacop.jasat.core

Class and Description
AbstractClausesDatabase This class specifies an abstract class for clauses pools.
DatabasesStore This provides a unique interface to several databases.
MapClause A clause used for resolution, easily modifiable several times, and that can then be converted to an int[].

Classes in org.jacop.jasat.core.clauses used by org.jacop.jasat.core.clauses

Class and Description
AbstractClausesDatabase This class specifies an abstract class for clauses pools.
ClauseDatabaseInterface Interface for clause databases or database stores.
DatabasesStore This provides a unique interface to several databases.
MapClause A clause used for resolution, easily modifiable several times, and that can then be converted to an int[].

Classes in org.jacop.jasat.core.clauses used by org.jacop.jasat.modules

Class and Description
MapClause A clause used for resolution, easily modifiable several times, and that can then be converted to an int[].

Classes in org.jacop.jasat.core.clauses used by org.jacop.jasat.modules.interfaces

Class and Description
MapClause A clause used for resolution, easily modifiable several times, and that can then be converted to an int[].

Classes in org.jacop.jasat.core.clauses used by org.jacop.satwrapper

Class and Description
MapClause A clause used for resolution, easily modifiable several times, and that can then be converted to an int[].

Classes in org.jacop.jasat.core.clauses used by org.jacop.satwrapper.translation

Class and Description
AbstractClausesDatabase This class specifies an abstract class for clauses pools.
ClauseDatabaseInterface Interface for clause databases or database stores.
MapClause A clause used for resolution, easily modifiable several times, and that can then be converted to an int[].