Uses of Interface
net.automatalib.ts.DeterministicTransitionSystem

Packages that use DeterministicTransitionSystem

Package	Description
net.automatalib.automata	This package contains the basic interfaces for automata.
net.automatalib.automata.base.compact
net.automatalib.automata.base.fast
net.automatalib.automata.concepts
net.automatalib.automata.fsa
net.automatalib.automata.fsa.impl
net.automatalib.automata.fsa.impl.compact
net.automatalib.automata.transducers
net.automatalib.automata.transducers.impl
net.automatalib.automata.transducers.impl.compact
net.automatalib.automata.vpda
net.automatalib.brics
net.automatalib.incremental
net.automatalib.incremental.dfa
net.automatalib.incremental.dfa.dag
net.automatalib.incremental.dfa.tree
net.automatalib.incremental.mealy.dag
net.automatalib.incremental.mealy.tree
net.automatalib.modelchecking
net.automatalib.modelchecking.lasso
net.automatalib.ts
net.automatalib.ts.acceptors
net.automatalib.ts.comp
net.automatalib.ts.output
net.automatalib.ts.powerset
net.automatalib.util.automata.vpda
net.automatalib.util.ts
net.automatalib.util.ts.acceptors

Uses of DeterministicTransitionSystem in net.automatalib.automata

Subinterfaces of DeterministicTransitionSystem in net.automatalib.automata

Modifier and Type	Interface and Description
interface	DeterministicAutomaton<S,I,T> Basic interface for a deterministic automaton.
interface	MutableDeterministic<S,I,T,SP,TP> Interface for a mutable deterministic automaton.
interface	ShrinkableDeterministic<S,I,T,SP,TP> A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and transitions.
interface	UniversalDeterministicAutomaton<S,I,T,SP,TP> A DeterministicAutomaton with state and transition properties.

Uses of DeterministicTransitionSystem in net.automatalib.automata.base.compact

Classes in net.automatalib.automata.base.compact that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
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	UniversalCompactSimpleDet<I,SP> A AbstractCompactSimpleDeterministic-based implementation for automata that need to store generic state properties.

Uses of DeterministicTransitionSystem in net.automatalib.automata.base.fast

Classes in net.automatalib.automata.base.fast that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP>

Uses of DeterministicTransitionSystem in net.automatalib.automata.concepts

Subinterfaces of DeterministicTransitionSystem in net.automatalib.automata.concepts

Modifier and Type	Interface and Description
interface	DetOutputAutomaton<S,I,T,D> An automaton which deterministically produces an output for an input word.
interface	DetSuffixOutputAutomaton<S,I,T,D>

Uses of DeterministicTransitionSystem in net.automatalib.automata.fsa

Subinterfaces of DeterministicTransitionSystem in net.automatalib.automata.fsa

Modifier and Type	Interface and Description
interface	DFA<S,I> Deterministic finite state acceptor.
interface	MutableDFA<S,I>

Uses of DeterministicTransitionSystem in net.automatalib.automata.fsa.impl

Classes in net.automatalib.automata.fsa.impl that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	FastDFA<I>

Uses of DeterministicTransitionSystem in net.automatalib.automata.fsa.impl.compact

Classes in net.automatalib.automata.fsa.impl.compact that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	CompactDFA<I>

Uses of DeterministicTransitionSystem in net.automatalib.automata.transducers

Subinterfaces of DeterministicTransitionSystem in net.automatalib.automata.transducers

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>
interface	StateLocalInputMealyMachine<S,I,T,O>
interface	StateOutputAutomaton<S,I,T,O>
interface	TransitionOutputAutomaton<S,I,T,O>

Uses of DeterministicTransitionSystem in net.automatalib.automata.transducers.impl

Classes in net.automatalib.automata.transducers.impl that implement DeterministicTransitionSystem

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

Uses of DeterministicTransitionSystem in net.automatalib.automata.transducers.impl.compact

Classes in net.automatalib.automata.transducers.impl.compact that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	CompactMealy<I,O>
class	CompactMoore<I,O>

Uses of DeterministicTransitionSystem in net.automatalib.automata.vpda

Subinterfaces of DeterministicTransitionSystem 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.

Classes in net.automatalib.automata.vpda that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	AbstractOneSEVPA<L,I> Abstract class for 1-SEVPAs that implements functionality shared across different subtypes.
class	DefaultOneSEVPA<I> Default implementation for 1-SEVPA.

Uses of DeterministicTransitionSystem in net.automatalib.brics

Classes in net.automatalib.brics that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	BricsDFA Adapter class for wrapping a Brics automaton as a DFA.

Uses of DeterministicTransitionSystem in net.automatalib.incremental

Methods in net.automatalib.incremental that return DeterministicTransitionSystem

Modifier and Type	Method and Description
DeterministicTransitionSystem<?,I,?>	IncrementalConstruction.asTransitionSystem() Retrieves a transition system view of the current state of the construction.

Uses of DeterministicTransitionSystem in net.automatalib.incremental.dfa

Subinterfaces of DeterministicTransitionSystem in net.automatalib.incremental.dfa

Modifier and Type	Interface and Description
static interface	IncrementalDFABuilder.TransitionSystemView<S,I,T>

Classes in net.automatalib.incremental.dfa that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
protected static class	AbstractIncrementalDFABuilder.AbstractTransitionSystemView<S,I,T>

Uses of DeterministicTransitionSystem in net.automatalib.incremental.dfa.dag

Classes in net.automatalib.incremental.dfa.dag that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	AbstractIncrementalDFADAGBuilder.TransitionSystemView

Uses of DeterministicTransitionSystem in net.automatalib.incremental.dfa.tree

Classes in net.automatalib.incremental.dfa.tree that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	IncrementalDFATreeBuilder.TransitionSystemView
class	IncrementalPCDFATreeBuilder.TransitionSystemView

Uses of DeterministicTransitionSystem in net.automatalib.incremental.mealy.dag

Classes in net.automatalib.incremental.mealy.dag that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	IncrementalMealyDAGBuilder.AutomatonView

Uses of DeterministicTransitionSystem in net.automatalib.incremental.mealy.tree

Classes in net.automatalib.incremental.mealy.tree that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	AbstractIncrementalMealyTreeBuilder.TransitionSystemView

Uses of DeterministicTransitionSystem in net.automatalib.modelchecking

Subinterfaces of DeterministicTransitionSystem in net.automatalib.modelchecking

Modifier and Type	Interface and Description
interface	Lasso<I,D> A lasso is an single infinite word.
static interface	Lasso.DFALasso<I> A DFALasso is a lasso for DFAs.
static interface	Lasso.MealyLasso<I,O> A MealyLasso is a lasso for MealyMachines.

Uses of DeterministicTransitionSystem in net.automatalib.modelchecking.lasso

Classes in net.automatalib.modelchecking.lasso that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	AbstractLasso<I,D>
class	DFALassoImpl<I> A DFALasso is a lasso for DFAs.
class	MealyLassoImpl<I,O> A MealyLasso is a lasso for MealyMachines.

Uses of DeterministicTransitionSystem in net.automatalib.ts

Subinterfaces of DeterministicTransitionSystem in net.automatalib.ts

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

Uses of DeterministicTransitionSystem in net.automatalib.ts.acceptors

Subinterfaces of DeterministicTransitionSystem in net.automatalib.ts.acceptors

Modifier and Type	Interface and Description
interface	DeterministicAcceptorTS<S,I> A deterministic acceptor transition system.

Uses of DeterministicTransitionSystem in net.automatalib.ts.comp

Classes in net.automatalib.ts.comp with type parameters of type DeterministicTransitionSystem

Modifier and Type	Class and Description
class	DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>>
class	DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>>

Classes in net.automatalib.ts.comp that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>>

Fields in net.automatalib.ts.comp declared as DeterministicTransitionSystem

Modifier and Type	Field and Description
protected TS1	DTSComposition.ts1
protected TS2	DTSComposition.ts2

Methods in net.automatalib.ts.comp with type parameters of type DeterministicTransitionSystem

Modifier and Type	Method and Description
static <S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> DTSComposition<S1,S2,I,T1,T2,TS1,TS2>	TSCompositions.compose(TS1 ts1, TS2 ts2)
static <S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> DTSComposition<S1,S2,I,T1,T2,TS1,TS2>	TSCompositions.compose(TS1 ts1, TS2 ts2)

Uses of DeterministicTransitionSystem in net.automatalib.ts.output

Subinterfaces of DeterministicTransitionSystem in net.automatalib.ts.output

Modifier and Type	Interface and Description
interface	DeterministicOutputTS<S,I,T,O>
interface	DeterministicStateOutputTS<S,I,T,O>
interface	DeterministicTransitionOutputTS<S,I,T,O>
interface	MealyTransitionSystem<S,I,T,O>
interface	MooreTransitionSystem<S,I,T,O>

Uses of DeterministicTransitionSystem in net.automatalib.ts.powerset

Classes in net.automatalib.ts.powerset that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	DeterministicPowersetView<S,I,T>
class	DirectPowersetDTS<S,I,T>
class	FastPowersetDTS<S extends NumericID,I,T>

Constructors in net.automatalib.ts.powerset with parameters of type DeterministicTransitionSystem

Constructor and Description
DeterministicPowersetView(DeterministicTransitionSystem<S,I,T> delegate)

Uses of DeterministicTransitionSystem in net.automatalib.util.automata.vpda

Classes in net.automatalib.util.automata.vpda that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	ProductOneSEVPA<L1,L2,I> Production automaton that allows to join two given 1-SEVPAs.

Uses of DeterministicTransitionSystem in net.automatalib.util.ts

Methods in net.automatalib.util.ts with parameters of type DeterministicTransitionSystem

Modifier and Type	Method and Description
static <S,I> Iterable<I>	TS.definedInputs(DeterministicTransitionSystem<S,I,?> dts, S state, Iterable<? extends I> inputs)

Uses of DeterministicTransitionSystem in net.automatalib.util.ts.acceptors

Classes in net.automatalib.util.ts.acceptors that implement DeterministicTransitionSystem

Modifier and Type	Class and Description
class	DetAcceptorComposition<S1,S2,I,A1 extends DeterministicAcceptorTS<S1,I>,A2 extends DeterministicAcceptorTS<S2,I>>