@Deprecated public class HoaConsumerGeneralisedRabin<S extends AutomatonState<?>> extends HoaConsumerExtended
currentState, LOGGER
Constructor | Description |
---|---|
HoaConsumerGeneralisedRabin(jhoafparser.consumer.HOAConsumer hoa,
ValuationSetFactory valuationSetFactory,
java.util.List<java.lang.String> aliases,
java.util.Set<S> initialStates,
GeneralizedRabinAcceptance2<S> accCond,
int size) |
Deprecated.
|
Modifier and Type | Method | Description |
---|---|---|
void |
addEdge(ValuationSet key,
AutomatonState<?> end) |
Deprecated.
|
addEdge, addEdge, addState, mkFin, mkInf, notifyEnd, notifyEndOfState
public HoaConsumerGeneralisedRabin(@Nonnull jhoafparser.consumer.HOAConsumer hoa, ValuationSetFactory valuationSetFactory, java.util.List<java.lang.String> aliases, java.util.Set<S> initialStates, @Nonnull GeneralizedRabinAcceptance2<S> accCond, int size)
public void addEdge(ValuationSet key, AutomatonState<?> end)
addEdge
in class HoaConsumerExtended