Uses of Package
org.jacop.jasat.core.clauses
-
Classes in org.jacop.jasat.core.clauses used by org.jacop.jasat.core Class 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 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 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 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.utils Class 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 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 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[].