Package owl.automaton.acceptance

Class GeneralizedRabinAcceptance.Builder

java.lang.Object

owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder

Enclosing class:

GeneralizedRabinAcceptance

public static final class GeneralizedRabinAcceptance.Builder
extends Object

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
GeneralizedRabinAcceptance.RabinPair	add(int infSets)
GeneralizedRabinAcceptance	build()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Builder

public Builder()

Method Detail

add

public GeneralizedRabinAcceptance.RabinPair add(@Nonnegative
                                                int infSets)

build

public GeneralizedRabinAcceptance build()