Class FullDerivationSet.Factory

  • Enclosing interface:
    FullDerivationSet

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