HoaConsumerGeneralisedRabin
public class HoaConsumerExtended
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
protected AutomatonState<?> |
currentState |
|
protected static java.util.logging.Logger |
LOGGER |
Constructor | Description |
---|---|
HoaConsumerExtended(jhoafparser.consumer.HOAConsumer hoa,
int alphabetSize,
java.util.List<java.lang.String> aliases,
OmegaAcceptance acceptance,
java.util.Set<? extends AutomatonState<?>> initialStates,
int size,
java.util.EnumSet<HoaPrintable.HoaOption> options) |
Modifier and Type | Method | Description |
---|---|---|
void |
addEdge(Edge<? extends AutomatonState<?>> edge,
ValuationSet label) |
|
void |
addEdge(ValuationSet label,
AutomatonState<?> end) |
|
protected void |
addEdge(ValuationSet label,
AutomatonState<?> end,
java.util.PrimitiveIterator.OfInt accSets) |
|
void |
addState(AutomatonState<?> state) |
|
static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> |
mkFin(int number) |
|
static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> |
mkInf(int number) |
|
void |
notifyEnd() |
|
void |
notifyEndOfState() |
protected static final java.util.logging.Logger LOGGER
protected AutomatonState<?> currentState
public HoaConsumerExtended(@Nonnull jhoafparser.consumer.HOAConsumer hoa, int alphabetSize, @Nonnull java.util.List<java.lang.String> aliases, @Nonnull OmegaAcceptance acceptance, java.util.Set<? extends AutomatonState<?>> initialStates, int size, @Nonnull java.util.EnumSet<HoaPrintable.HoaOption> options)
public static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> mkFin(int number)
public static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> mkInf(int number)
public void addEdge(ValuationSet label, AutomatonState<?> end)
protected void addEdge(ValuationSet label, AutomatonState<?> end, @Nullable java.util.PrimitiveIterator.OfInt accSets)
public void addEdge(Edge<? extends AutomatonState<?>> edge, ValuationSet label)
public void addState(AutomatonState<?> state)
public void notifyEnd()
public void notifyEndOfState()