Uses of Package
net.automatalib.ts

Packages that use net.automatalib.ts

Package	Description
net.automatalib.automaton	This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.automaton.base
net.automatalib.automaton.concept
net.automatalib.automaton.fsa
net.automatalib.automaton.graph
net.automatalib.automaton.procedural
net.automatalib.automaton.transducer
net.automatalib.automaton.transducer.probabilistic
net.automatalib.automaton.vpa
net.automatalib.brics	This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.
net.automatalib.incremental	This package (including sub-packages) contains several approaches for the incremental construction of automaton-like structures.
net.automatalib.incremental.dfa
net.automatalib.incremental.dfa.tree
net.automatalib.modelchecking
net.automatalib.ts	This package (including sub-packages) contains the basic classes concerning transition systems.
net.automatalib.ts.acceptor
net.automatalib.ts.modal
net.automatalib.ts.output
net.automatalib.ts.powerset
net.automatalib.util.automaton.copy
net.automatalib.util.automaton.predicate
net.automatalib.util.automaton.vpa
net.automatalib.util.ts
net.automatalib.util.ts.comp
net.automatalib.util.ts.copy
net.automatalib.util.ts.iterator
net.automatalib.util.ts.traversal

Classes in net.automatalib.ts used by net.automatalib.automaton

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.
UniversalDTS	Universal deterministic transition system.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.automaton.base

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.
UniversalDTS	Universal deterministic transition system.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.automaton.concept

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.

Classes in net.automatalib.ts used by net.automatalib.automaton.fsa

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.
UniversalDTS	Universal deterministic transition system.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.automaton.graph

Class	Description
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.automaton.procedural

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.
UniversalDTS	Universal deterministic transition system.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.automaton.transducer

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.
UniversalDTS	Universal deterministic transition system.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.automaton.transducer.probabilistic

Class	Description
TransitionSystem	Transition system interface.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.automaton.vpa

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.
UniversalDTS	Universal deterministic transition system.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.brics

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.
UniversalDTS	Universal deterministic transition system.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.incremental

Class	Description
DeterministicTransitionSystem	Deterministic transition system.

Classes in net.automatalib.ts used by net.automatalib.incremental.dfa

Class	Description
UniversalDTS	Universal deterministic transition system.

Classes in net.automatalib.ts used by net.automatalib.incremental.dfa.tree

Class	Description
UniversalDTS	Universal deterministic transition system.

Classes in net.automatalib.ts used by net.automatalib.modelchecking

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.
UniversalDTS	Universal deterministic transition system.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.ts

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
PowersetViewTS
TransitionSystem	Transition system interface.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.ts.acceptor

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.
UniversalDTS	Universal deterministic transition system.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.ts.modal

Class	Description
TransitionSystem	Transition system interface.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.ts.output

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.
UniversalDTS	Universal deterministic transition system.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.ts.powerset

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
PowersetViewTS
TransitionSystem	Transition system interface.

Classes in net.automatalib.ts used by net.automatalib.util.automaton.copy

Class	Description
TransitionPredicate
TransitionSystem	Transition system interface.

Classes in net.automatalib.ts used by net.automatalib.util.automaton.predicate

Class	Description
TransitionPredicate

Classes in net.automatalib.ts used by net.automatalib.util.automaton.vpa

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.
UniversalDTS	Universal deterministic transition system.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.util.ts

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.util.ts.comp

Class	Description
DeterministicTransitionSystem	Deterministic transition system.
TransitionSystem	Transition system interface.

Classes in net.automatalib.ts used by net.automatalib.util.ts.copy

Class	Description
TransitionPredicate
TransitionSystem	Transition system interface.
UniversalTransitionSystem	A "universal" transition system, which captures the possibility to assign properties to states and transitions.

Classes in net.automatalib.ts used by net.automatalib.util.ts.iterator

Class	Description
TransitionSystem	Transition system interface.

Classes in net.automatalib.ts used by net.automatalib.util.ts.traversal

Class	Description
TransitionSystem	Transition system interface.