Uses of Interface
net.automatalib.automaton.concept.StateIDs

Packages that use StateIDs

Package	Description
net.automatalib.automaton.abstraction
net.automatalib.automaton.graph
net.automatalib.automaton.helper
net.automatalib.automaton.simple

Uses of StateIDs in net.automatalib.automaton.abstraction

Fields in net.automatalib.automaton.abstraction declared as StateIDs

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

Uses of StateIDs in net.automatalib.automaton.graph

Constructors in net.automatalib.automaton.graph with parameters of type StateIDs

Constructor	Description
StateAsNodeIDs(StateIDs<S> stateIds)

Uses of StateIDs in net.automatalib.automaton.helper

Classes in net.automatalib.automaton.helper that implement StateIDs

Modifier and Type	Class	Description
class	SimpleStateIDs<S>

Constructors in net.automatalib.automaton.helper with parameters of type StateIDs

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

Uses of StateIDs in net.automatalib.automaton.simple

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

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