Uses of Interface
net.automatalib.automata.concepts.StateIDs

Packages that use StateIDs

Package	Description
net.automatalib.automata.graphs
net.automatalib.automata.helpers
net.automatalib.automata.simple

Uses of StateIDs in net.automatalib.automata.graphs

Constructors in net.automatalib.automata.graphs with parameters of type StateIDs

Constructor and Description
StateAsNodeIDs(StateIDs<S> stateIds)

Uses of StateIDs in net.automatalib.automata.helpers

Classes in net.automatalib.automata.helpers that implement StateIDs

Modifier and Type	Class and Description
class	SimpleStateIDs<S>

Constructors in net.automatalib.automata.helpers with parameters of type StateIDs

Constructor and Description
StateIDStaticMapping(StateIDs<S> stateIds, int size)

Uses of StateIDs in net.automatalib.automata.simple

Fields in net.automatalib.automata.simple declared as StateIDs

Modifier and Type	Field and Description
protected StateIDs<S>	SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction.stateIds

Methods in net.automatalib.automata.simple that return StateIDs

Modifier and Type	Method and Description
default StateIDs<S>	SimpleAutomaton.stateIDs()