Class TypeSubtypeOfType


  • public class TypeSubtypeOfType
    extends ConstraintFormula
    A reference type S is a subtype of a reference type T
    Author:
    Federico Tomassetti