Package tools.refinery.interpreter.matchers.psystem

Class EnumerablePConstraint

java.lang.Object
tools.refinery.interpreter.matchers.psystem.BasePConstraint
tools.refinery.interpreter.matchers.psystem.EnumerablePConstraint
All Implemented Interfaces:
PConstraint, PTraceable
Direct Known Subclasses:
KeyedEnumerablePConstraint, RelationEvaluation
public abstract class EnumerablePConstraint extends BasePConstraint
A constraint for which all satisfying tuples of variable values can be enumerated at any point during run-time.

  • Field Details

    • variablesTuple

      protected Tuple variablesTuple

  • Constructor Details

    • EnumerablePConstraint

      protected EnumerablePConstraint(PBody pBody, Tuple variablesTuple)

  • Method Details

    • doReplaceVariable

      public void doReplaceVariable(PVariable obsolete, PVariable replacement)
      Specified by:
      doReplaceVariable in class BasePConstraint

    • toStringRest

      protected String toStringRest()
      Specified by:
      toStringRest in class BasePConstraint

    • toStringRestRest

      protected String toStringRestRest()

    • getVariablesTuple

      public Tuple getVariablesTuple()

    • getDeducedVariables

      public Set<PVariable> getDeducedVariables()
      Description copied from interface: PConstraint
      The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).

    • getVariableInTuple

      public PVariable getVariableInTuple(int index)