Module fr.univartois.cril.juniverse
Package fr.univartois.cril.juniverse.csp.intension

Interface IUniverseIntensionConstraintVisitor

public interface IUniverseIntensionConstraintVisitor
The IUniverseIntensionConstraintVisitor allows visiting intension constraints to discover its semantics.

  • Method Details

    • visit

      void visit(UniverseConstantIntensionConstraint constant)
      Visits a constant that appears in an intension constraint.
      Parameters:
      constant - The constant to visit.

    • visit

      void visit(UniverseVariableIntensionConstraint variable)
      Visits a variable that appears in an intension constraint.
      Parameters:
      variable - The variable to visit.

    • visit

      void visit(UniverseUnaryIntensionConstraint constr)
      Visits a unary constraint that appears in an intension constraint.
      Parameters:
      constr - The constraint to visit.

    • visit

      void visit(UniverseBinaryIntensionConstraint constr)
      Visits a binary constraint that appears in an intension constraint.
      Parameters:
      constr - The constraint to visit.

    • visit

      void visit(UniverseNaryIntensionConstraint constr)
      Visits an n-ary constraint that appears in an intension constraint.
      Parameters:
      constr - The constraint to visit.

    • visit

      void visit(UniverseIfThenElseIntensionConstraint ifThenElse)
      Visits an if-then-else constraint that appears in an intension constraint.
      Parameters:
      ifThenElse - The constraint to visit.

    • visit

      void visit(UniverseSetIntensionConstraint set)
      Visits a set that appears in an intension constraint.
      Parameters:
      set - The set to visit.

    • visit

      void visit(UniverseRangeIntensionConstraint range)
      Visits a range that appears in an intension constraint.
      Parameters:
      range - The range to visit.