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

Packages that use StateIDs

Package	Description
net.automatalib.automaton	This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.automaton.abstraction
net.automatalib.automaton.base
net.automatalib.automaton.fsa
net.automatalib.automaton.graph
net.automatalib.automaton.helper
net.automatalib.automaton.simple
net.automatalib.automaton.transducer
net.automatalib.automaton.transducer.probabilistic
net.automatalib.ts.modal

Uses of StateIDs in net.automatalib.automaton

Classes in net.automatalib.automaton that implement StateIDs

Modifier and Type	Class	Description
class	UniversalCompactDet<I,SP,TP>	A default implementation for AbstractCompactDeterministic that uses CompactTransition as transition type and supports various types of state and transition properties.
class	UniversalCompactSimpleDet<I,SP>	A AbstractCompactSimpleDeterministic-based implementation for automata that need to store generic state properties.

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.base

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

Modifier and Type	Class	Description
class	AbstractCompact<I,T,SP,TP>	Abstract super class for compact automata representations.
class	AbstractCompactDeterministic<I,T,SP,TP>	Abstract super class that refines AbstractCompact for deterministic automata.
class	AbstractCompactSimpleDeterministic<I,SP>	Abstract super class that refines AbstractCompactDeterministic for transition-property-less automata.
class	AbstractCompactSimpleNondet<I,SP>	Abstract super class that refines AbstractCompact for transition-property-less automata.
class	AbstractFastMutable<S extends AbstractFastState<?>,I,T,SP,TP>	Shared functionality for (non-) deterministic mutable automata.
class	AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP>
class	AbstractFastMutableNondet<S extends AbstractFastState<Collection<T>>,I,T,SP,TP>

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

Modifier and Type	Method	Description
StateIDs<Integer>	AbstractCompact.stateIDs()
StateIDs<S>	AbstractFastMutable.stateIDs()

Uses of StateIDs in net.automatalib.automaton.fsa

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

Modifier and Type	Class	Description
class	CompactDFA<I>
class	CompactNFA<I>
class	FastDFA<I>
class	FastNFA<I>

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()

Uses of StateIDs in net.automatalib.automaton.transducer

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

Modifier and Type	Class	Description
class	CompactMealy<I,O>
class	CompactMoore<I,O>
class	CompactSST<I,O>
class	FastMealy<I,O>	A fast implementation of a Mealy machine.
class	FastMoore<I,O>	A fast implementation of a Moore automaton.

Uses of StateIDs in net.automatalib.automaton.transducer.probabilistic

Classes in net.automatalib.automaton.transducer.probabilistic that implement StateIDs

Modifier and Type	Class	Description
class	FastProbMealy<I,O>

Uses of StateIDs in net.automatalib.ts.modal

Classes in net.automatalib.ts.modal that implement StateIDs

Modifier and Type	Class	Description
class	AbstractCompactMTS<I,T,TP extends MutableModalEdgeProperty>	An abstract base-implementation for MutableModalTransitionSystems.
class	CompactMTS<I>