Package org.jacop.api
Interface SatisfiedPresent
- All Known Implementing Classes:
AbsPeqR
,AbsXeqY
,AcosPeqR
,AdiffBeqC
,AdisjointB
,AeqB
,AeqS
,AinB
,AinS
,AintersectBeqC
,AleB
,Alldiff
,Alldifferent
,Alldistinct
,AltB
,Among
,AmongVar
,And
,AndBoolSimple
,AndBoolVector
,ArgMax
,ArgMin
,AsinPeqR
,Assignment
,AtanPeqR
,AtLeast
,AtMost
,AunionBeqC
,Binpacking
,BoolClause
,CardA
,CardAeqX
,ChannelImply
,ChannelReif
,Circuit
,Conditional
,CosPeqR
,Count
,CountBounds
,CountValues
,CountValuesBounds
,CountVar
,Cumulative
,Diff
,Diff2
,Disjoint
,DisjointConditional
,Distance
,EinA
,ElementFloat
,ElementFloatVariable
,ElementInteger
,ElementIntegerFast
,ElementSet
,ElementVariable
,ElementVariableFast
,Eq
,EqBool
,ExpPeqR
,ExtensionalSupportMDD
,GCC
,IfThen
,IfThenBool
,IfThenElse
,Implies
,In
,Knapsack
,LexOrder
,Linear
,Linear
,LinearFloat
,LinearInt
,LinearIntDom
,LnPeqR
,Match
,Max
,Max
,MaxSimple
,Member
,Min
,Min
,MinSimple
,Not
,Or
,OrBoolSimple
,OrBoolVector
,PdivCeqR
,PdivQeqR
,PeqC
,PeqQ
,PgtC
,PgteqC
,PgteqQ
,PgtQ
,PltC
,PlteqC
,PlteqQ
,PltQ
,PminusCeqR
,PminusQeqR
,PmulCeqR
,PmulQeqR
,PneqC
,PneqQ
,PplusCeqR
,PplusQeqR
,PrimitiveConstraint
,Reified
,SatWrapper
,SimpleTable
,SinA
,SinPeqR
,SqrtPeqR
,Subcircuit
,Sum
,SumBool
,SumFloat
,SumInt
,SumWeight
,SumWeightDom
,SumWeightedSet
,TanPeqR
,ValuePrecede
,Values
,XdivYeqZ
,XeqA
,XeqC
,XeqP
,XeqY
,XexpYeqZ
,XgtC
,XgteqC
,XgteqY
,XgtY
,XinA
,XltC
,XlteqC
,XlteqY
,XltY
,XmodYeqZ
,XmulCeqZ
,XmulYeqC
,XmulYeqZ
,XneqC
,XneqY
,Xor
,XorBool
,XplusCeqZ
,XplusClteqZ
,XplusYeqC
,XplusYeqZ
,XplusYgtC
,XplusYlteqZ
public interface SatisfiedPresent
Interface to mark the need (PrimitiveConstraint) or extra functionality
(Constraint) to compute if the constraint is satisfied.
- Version:
- 4.9
-
Method Summary
-
Method Details
-
satisfied
boolean satisfied()It checks if the constraint is satisfied. It can return false even if constraint is satisfied but not all variables in its scope are grounded. It needs to return true if all variables in its scope are grounded and constraint is satisfied.Implementations of this interface for constraints that are not PrimitiveConstraint may require constraint imposition and consistency check as a requirement to work correctly.
- Returns:
- true if constraint is possible to verify that it is satisfied.
-