MutableAutomatonBuilder<EquivalenceClass,EquivalenceClass,NoneAcceptance>
public class InitialComponentBuilder<K extends RecurringObligation> extends java.lang.Object implements MutableAutomatonBuilder<EquivalenceClass,EquivalenceClass,NoneAcceptance>
Modifier and Type | Method | Description |
---|---|---|
EquivalenceClass |
add(EquivalenceClass initialClass) |
|
MutableAutomaton<EquivalenceClass,NoneAcceptance> |
build() |
@Nullable public EquivalenceClass add(EquivalenceClass initialClass)
add
in interface MutableAutomatonBuilder<EquivalenceClass,EquivalenceClass,NoneAcceptance>
public MutableAutomaton<EquivalenceClass,NoneAcceptance> build()
build
in interface MutableAutomatonBuilder<EquivalenceClass,EquivalenceClass,NoneAcceptance>