Class F2A

    • Method Detail

      • toTUConstraint

        public TUConstraint toTUConstraint()
        Description copied from class: AFConstraint
        Once AFConstraints are irreducible it can be converted to a TU constraint, constraints between individual type parameters for which we are inferring an argument (T) and Java types (U).
        Specified by:
        toTUConstraint in class AFConstraint
        Returns:
        a TUConstraint that represents this AFConstraint
      • toString

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