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
,Circuit
,Conditional
,CosPeqR
,Count
,CountBounds
,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
,XplusYplusCeqZ
,XplusYplusQeqZ
,XplusYplusQgtC
public interface SatisfiedPresent
Interface to mark the need (PrimitiveConstraint) or extra functionality (Constraint) to compute if the constraint is satisfied.- Version:
- 4.7
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description boolean
satisfied()
It checks if the constraint is satisfied.
-
-
-
Method Detail
-
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.
-
-