Package org.jacop.api

Interface SatisfiedPresent

All Known Implementing Classes:
AbsPeqR, AbsXeqY, AcosPeqR, AdiffBeqC, AdisjointB, AeqB, AeqS, AinB, AinS, AintersectBeqC, AleB, Alldiff, Alldifferent, Alldistinct, AllEqual, AltB, Among, AmongVar, And, AndBoolSimple, AndBoolVector, ArgMax, ArgMin, AsinPeqR, Assignment, AtanPeqR, AtLeast, AtMost, AunionBeqC, Binpacking, BoolClause, CardA, CardAeqX, CeilPeqX, ChannelBoolSet, ChannelImply, ChannelIntSet, 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, FloorPeqX, 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, RoundPeqX, 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.10
  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    It checks if the constraint is satisfied.
  • 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.