Uses of Package
org.jacop.jasat.core.clauses
Packages that use org.jacop.jasat.core.clauses
Package
Description
-
Classes in org.jacop.jasat.core.clauses used by org.jacop.jasat.coreClassDescriptionThis class specifies an abstract class for clauses pools.This provides a unique interface to several databases.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.clausesClassDescriptionThis class specifies an abstract class for clauses pools.Interface for clause databases or database stores.This provides a unique interface to several databases.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.modulesClassDescriptionA 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.interfacesClassDescriptionA 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.utilsClassDescriptionA 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.satwrapperClassDescriptionA 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.translationClassDescriptionThis class specifies an abstract class for clauses pools.Interface for clause databases or database stores.A clause used for resolution, easily modifiable several times, and that can then be converted to an int[].