Class TypeSameAsType


  • public class TypeSameAsType
    extends ConstraintFormula
    A type S is the same as a type T (ยง4.3.4), or a type argument S is the same as type argument T
    • Method Detail

      • reduce

        public ConstraintFormula.ReductionResult reduce​(BoundSet currentBoundSet)
        Description copied from class: ConstraintFormula
        A formula is reduced to one or both of: i) A bound or bound set, which is to be incorporated with the "current" bound set. Initially, the current bound set is empty. ii) Further constraint formulas, which are to be reduced recursively.
        Specified by:
        reduce in class ConstraintFormula
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

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

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