|Modifier and Type||Method and Description|
Add a new clause to the clause store, like: (vars ∈ ranges) ∨ (vars ∈ ranges) ∨ ...
Test if this
checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, isReified, makeOpposite, merge, post, reify, reifyWith, setName, setOpposite, toString
public ClauseConstraint(Model model)
public void addClause(IntVar vars, IntIterableRangeSet ranges)
vars- set of variables
ranges- set of allowed ranges
public ESat isSatisfied()
Constraintobject is satisfied, regarding its
Variablecurrent domains. This method is called on each solution as a checker when assertions are enabled (-ea in VM parameters) It is also called for constraint reification (to state whether or not a constraint is satisfied) The method calls entailment checks of
ESat.FALSEif the constraint cannot be satisfied (from domain consideration),
ESat.TRUEif whatever future decisions are, the constraint will be satisfied for sure (without propagating domain modifications)
ESat.UNDIFINEDotherwise (more decisions/filtering must be made before concluding about constraint satisfaction)
public ClauseStore getClauseStore()
Copyright © 2019. All rights reserved.