Class TypeCompatibleWithType


  • public class TypeCompatibleWithType
    extends ConstraintFormula
    A type S is compatible in a loose invocation context with type 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