Class DerivationSet.Factory

  • Enclosing interface:
    DerivationSet

    public static final class DerivationSet.Factory
    extends java.lang.Object
    A factory class with static methods for creating instances of this type.