Uses of Interface
net.automatalib.ts.UniversalTransitionSystem

Packages that use UniversalTransitionSystem

Package	Description
net.automatalib.automata	This package contains the basic interfaces for automata.
net.automatalib.automata.fsa
net.automatalib.automata.graphs
net.automatalib.automata.transout
net.automatalib.automata.transout.probabilistic
net.automatalib.automata.vpda
net.automatalib.ts
net.automatalib.ts.acceptors
net.automatalib.ts.transout

Uses of UniversalTransitionSystem in net.automatalib.automata

Subinterfaces of UniversalTransitionSystem in net.automatalib.automata

Modifier and Type	Interface and Description
interface	MutableAutomaton<S,I,T,SP,TP> A mutable automaton.
interface	MutableDeterministic<S,I,T,SP,TP> Interface for a mutable deterministic automaton.
interface	ShrinkableAutomaton<S,I,T,SP,TP> A mutable automaton that also supports destructive modifications, i.e., removal of states and transitions.
interface	ShrinkableDeterministic<S,I,T,SP,TP> A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and transitions.
interface	UniversalAutomaton<S,I,T,SP,TP> A universal automaton is a generalized representation of automata, with a unified access to the properties of states and transitions.
interface	UniversalDeterministicAutomaton<S,I,T,SP,TP> A DeterministicAutomaton with state and transition properties.
interface	UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>

Uses of UniversalTransitionSystem in net.automatalib.automata.fsa

Subinterfaces of UniversalTransitionSystem in net.automatalib.automata.fsa

Modifier and Type	Interface and Description
interface	DFA<S,I> Deterministic finite state acceptor.
interface	FiniteStateAcceptor<S,I> FiniteStateAcceptors accept regular languages.
interface	MutableDFA<S,I>
interface	MutableFSA<S,I>
interface	MutableNFA<S,I>
interface	NFA<S,I> Nondeterministic finite state acceptor.

Uses of UniversalTransitionSystem in net.automatalib.automata.graphs

Methods in net.automatalib.automata.graphs with parameters of type UniversalTransitionSystem

Modifier and Type	Method and Description
<TP> TransitionEdge.Property<I,TP>	TransitionEdge.property(UniversalTransitionSystem<?,?,T,?,TP> uts)

Uses of UniversalTransitionSystem in net.automatalib.automata.transout

Subinterfaces of UniversalTransitionSystem in net.automatalib.automata.transout

Modifier and Type	Interface and Description
interface	MealyMachine<S,I,T,O>
interface	MooreMachine<S,I,T,O>
interface	MutableMealyMachine<S,I,T,O>
interface	MutableMooreMachine<S,I,T,O>

Uses of UniversalTransitionSystem in net.automatalib.automata.transout.probabilistic

Subinterfaces of UniversalTransitionSystem in net.automatalib.automata.transout.probabilistic

Modifier and Type	Interface and Description
interface	MutableProbabilisticMealy<S,I,T,O>
interface	ProbabilisticMealyMachine<S,I,T,O>

Uses of UniversalTransitionSystem in net.automatalib.automata.vpda

Subinterfaces of UniversalTransitionSystem in net.automatalib.automata.vpda

Modifier and Type	Interface and Description
interface	OneSEVPA<L,I> Interface for the 1-SEVPA (1-single entry visibly push-down automaton), a visibly push-down automaton of specific structure and semantics.

Uses of UniversalTransitionSystem in net.automatalib.ts

Subinterfaces of UniversalTransitionSystem in net.automatalib.ts

Modifier and Type	Interface and Description
interface	UniversalDTS<S,I,T,SP,TP> Universal deterministic transition system.

Uses of UniversalTransitionSystem in net.automatalib.ts.acceptors

Subinterfaces of UniversalTransitionSystem in net.automatalib.ts.acceptors

Modifier and Type	Interface and Description
interface	AcceptorTS<S,I> A transition system whose semantics are defined by whether a state is "accepting" or not.
interface	DeterministicAcceptorTS<S,I> A deterministic acceptor transition system.

Uses of UniversalTransitionSystem in net.automatalib.ts.transout

Subinterfaces of UniversalTransitionSystem in net.automatalib.ts.transout

Modifier and Type	Interface and Description
interface	MealyTransitionSystem<S,I,T,O>