Class OneSEVPAMinimizer


  • public final class OneSEVPAMinimizer
    extends Object
    A Paige/Tarjan partition refinement based minimizer for OneSEVPAs.