Class EnumerablePConstraint

    • Field Detail

      • variablesTuple

        protected Tuple variablesTuple
    • Constructor Detail

      • EnumerablePConstraint

        protected EnumerablePConstraint​(PBody pBody,
                                        Tuple variablesTuple)
    • Method Detail

      • toStringRestRest

        protected java.lang.String toStringRestRest()
      • getVariablesTuple

        public Tuple getVariablesTuple()
      • getDeducedVariables

        public java.util.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)