Package org.jacop.jasat.core.clauses
package org.jacop.jasat.core.clauses
-
ClassDescriptionThis class specifies an abstract class for clauses pools.A database for binary clauses.Interface for clause databases or database stores.constants that represent the state of a clause at some point in the searchThis provides a unique interface to several databases.A standard database of clauses, implemented in an efficient way such that insertion or removal of clauses works fast.A pool of long clauses, implemented with two watched an blocking literals to minimize cache misses.A clause used for resolution, easily modifiable several times, and that can then be converted to an int[].A database for ternary clauses.A database for unit clauses (length 1).