public final class HoaConsumerExtended<S>
extends java.lang.Object
Constructor | Description |
---|---|
HoaConsumerExtended(jhoafparser.consumer.HOAConsumer consumer,
java.util.List<java.lang.String> aliases,
OmegaAcceptance acceptance,
java.util.Set<? extends S> initialStates,
java.util.EnumSet<HoaPrintable.HoaOption> options,
boolean isDeterministic,
java.lang.String name) |
Modifier and Type | Method | Description |
---|---|---|
void |
addEdge(Edge<? extends S> edge,
java.util.BitSet label) |
|
void |
addEdge(Edge<? extends S> edge,
ValuationSet label) |
|
void |
addEdge(LabelledEdge<? extends S> labelledEdge) |
|
void |
addEdge(ValuationSet label,
S end) |
|
void |
addEdge(ValuationSet label,
S end,
java.util.PrimitiveIterator.OfInt accSets) |
|
void |
addEpsilonEdge(S successor) |
|
void |
addState(S state) |
|
void |
notifyEnd() |
|
void |
notifyEndOfState() |
public HoaConsumerExtended(jhoafparser.consumer.HOAConsumer consumer, java.util.List<java.lang.String> aliases, OmegaAcceptance acceptance, java.util.Set<? extends S> initialStates, java.util.EnumSet<HoaPrintable.HoaOption> options, boolean isDeterministic, @Nullable java.lang.String name)
public void addEdge(ValuationSet label, S end)
public void addEdge(ValuationSet label, S end, java.util.PrimitiveIterator.OfInt accSets)
public void addEdge(LabelledEdge<? extends S> labelledEdge)
public void addEdge(Edge<? extends S> edge, ValuationSet label)
public void addEpsilonEdge(S successor)
public void addState(S state)
public void notifyEnd()
public void notifyEndOfState()