Class TypeJudgement


  • public class TypeJudgement
    extends java.lang.Object
    A judgement that means that the given tuple of variables will represent a tuple of values that is a member of the extensional relation identified by the given input key.
    • Constructor Detail

      • TypeJudgement

        public TypeJudgement​(IInputKey inputKey,
                             Tuple variablesTuple)
        Parameters:
        inputKey -
        variablesTuple -
    • Method Detail

      • getInputKey

        public IInputKey getInputKey()
      • getVariablesTuple

        public Tuple getVariablesTuple()
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • createConstraintFor

        public PConstraint createConstraintFor​(PBody pBody)
        Creates this judgement as a direct type constraint in the given PBody under construction.

        pre: the variables tuple must be formed of variables of that PBody.

        Since:
        1.6