S
- state typeA
- automaton typepublic static class SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>> extends Object implements SimpleDeterministicAutomaton.IntAbstraction
StateIDs
mapping obtained via SimpleAutomaton.stateIDs()
.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>>
Modifier and Type | Field and Description |
---|---|
protected A |
automaton |
protected StateIDs<S> |
stateIds |
INVALID_STATE
Constructor and Description |
---|
DefaultAbstraction(A automaton) |
Modifier and Type | Method and Description |
---|---|
int |
getIntInitialState()
Retrieves the initial state of the (abstracted) automaton as an integer.
|
protected S |
intToState(int stateId) |
int |
size()
Retrieves the number of states of the (abstracted) automaton.
|
protected int |
stateToInt(S state) |
protected final A extends SimpleDeterministicAutomaton<S,?> automaton
public DefaultAbstraction(A automaton)
public int size()
SimpleDeterministicAutomaton.IntAbstraction
size
in interface SimpleDeterministicAutomaton.IntAbstraction
protected final S intToState(int stateId)
public int getIntInitialState()
SimpleDeterministicAutomaton.IntAbstraction
SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE
is returned.getIntInitialState
in interface SimpleDeterministicAutomaton.IntAbstraction
SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE
.protected final int stateToInt(S state)
Copyright © 2019. All rights reserved.