Module org.chocosolver
Class NogoodConstraint
- java.lang.Object
-
- org.chocosolver.solver.constraints.Constraint
-
- org.chocosolver.solver.constraints.nary.nogood.NogoodConstraint
-
public class NogoodConstraint extends Constraint
Created by cprudhom on 21/01/15. Project: choco.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.chocosolver.solver.constraints.Constraint
Constraint.Status
-
-
Field Summary
-
Fields inherited from class org.chocosolver.solver.constraints.Constraint
boolReif, propagators
-
-
Constructor Summary
Constructors Constructor Description NogoodConstraint(Model model)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description PropNogoods
getPropNogoods()
ESat
isSatisfied()
Test if thisConstraint
object is satisfied, regarding itsPropagators
and itsVariable
current domains.-
Methods inherited from class org.chocosolver.solver.constraints.Constraint
checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, ignore, isReified, makeOpposite, merge, post, reify, reifyWith, setName, setOpposite, toString
-
-
-
-
Constructor Detail
-
NogoodConstraint
public NogoodConstraint(Model model)
-
-
Method Detail
-
isSatisfied
public ESat isSatisfied()
Description copied from class:Constraint
Test if thisConstraint
object is satisfied, regarding itsPropagators
and itsVariable
current 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 ofthis
propagators- Overrides:
isSatisfied
in classConstraint
- Returns:
ESat.FALSE
if the constraint cannot be satisfied (from domain consideration),ESat.TRUE
if whatever future decisions are, the constraint will be satisfied for sure (without propagating domain modifications)ESat.UNDIFINED
otherwise (more decisions/filtering must be made before concluding about constraint satisfaction)
-
getPropNogoods
public PropNogoods getPropNogoods()
-
-