Uses of Interface
net.automatalib.graph.concept.GraphViewable

Packages that use GraphViewable

Package	Description
net.automatalib.automaton	This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.automaton.base
net.automatalib.automaton.fsa
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.graph	This package (including sub-packages) contains the basic classes concerning graphs.
net.automatalib.serialization.dot
net.automatalib.ts.modal
net.automatalib.util.automaton.vpa
net.automatalib.visualization	This package contains several approaches for the visualization of the different types of automata, transition systems, and graphs supported by AutomataLib.

Uses of GraphViewable in net.automatalib.automaton

Subinterfaces of GraphViewable in net.automatalib.automaton

Modifier and Type	Interface	Description
interface	FiniteAlphabetAutomaton<S,I,T>
interface	UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>

Classes in net.automatalib.automaton that implement GraphViewable

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 GraphViewable in net.automatalib.automaton.base

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

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>

Uses of GraphViewable in net.automatalib.automaton.fsa

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

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

Uses of GraphViewable in net.automatalib.automaton.procedural

Subinterfaces of GraphViewable in net.automatalib.automaton.procedural

Modifier and Type	Interface	Description
(package private) interface	net.automatalib.automaton.procedural.ProceduralSystem<I,M extends UniversalDeterministicAutomaton<?,I,?,?,?>>	(Meta-) Interface for procedural systems, i.e., systems that consist of multiple procedural automata that can mutually call each other.
interface	SBA<S,I>	A system of behavioral automata.
interface	SPA<S,I>	A system of procedural automata.
interface	SPMM<S,I,T,O>	A system of procedural Mealy machines.

Classes in net.automatalib.automaton.procedural that implement GraphViewable

Modifier and Type	Class	Description
class	EmptySBA<I>	A utility implementation of an SBA that rejects all inputs, i.e., which describes the empty language.
class	EmptySPA<I>	A utility implementation of an SPA that rejects all inputs, i.e., describes the empty language.
class	EmptySPMM<I,O>	A utility implementation of an SPMM that transduces all input words to a sequence of the given erroneous output symbol.
class	StackSBA<S,I>	A stack-based implementation for the (instrumented) language of an SBA.
class	StackSPA<S,I>	A stack-based implementation for the (instrumented) language of an SPA.
class	StackSPMM<S,I,T,O>	A stack-based implementation for the (instrumented) transductions of an SPMM.

Uses of GraphViewable in net.automatalib.automaton.transducer

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

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 GraphViewable in net.automatalib.automaton.transducer.probabilistic

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

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

Uses of GraphViewable in net.automatalib.automaton.vpa

Subinterfaces of GraphViewable in net.automatalib.automaton.vpa

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

Classes in net.automatalib.automaton.vpa that implement GraphViewable

Modifier and Type	Class	Description
class	AbstractDefaultSEVPA<I>	Basic functionality for Location-based SEVPA implementations.
class	AbstractSEVPA<L,I>	Abstract class for k-SEVPAs that implements functionality shared across different subtypes.
class	DefaultNSEVPA<I>	Default implementation for n-SEVPAs.
class	DefaultOneSEVPA<I>	Default implementation for 1-SEVPAs.

Uses of GraphViewable in net.automatalib.brics

Classes in net.automatalib.brics that implement GraphViewable

Modifier and Type	Class	Description
class	AbstractBricsAutomaton	Base class for Brics automata adapters.
class	BricsDFA	Adapter class for wrapping a Brics automaton as a DFA.
class	BricsNFA	Adapter class for wrapping a Brics automaton as an NFA.

Uses of GraphViewable in net.automatalib.graph

Subinterfaces of GraphViewable in net.automatalib.graph

Modifier and Type	Interface	Description
interface	ContextFreeModalProcessSystem<L,AP>	Represents a Context-Free Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.

Classes in net.automatalib.graph that implement GraphViewable

Modifier and Type	Class	Description
class	DefaultCFMPS<L,AP>

Uses of GraphViewable in net.automatalib.serialization.dot

Methods in net.automatalib.serialization.dot with parameters of type GraphViewable

Modifier and Type	Method	Description
static void	GraphDOT.write(GraphViewable gv, Appendable a)

Uses of GraphViewable in net.automatalib.ts.modal

Subinterfaces of GraphViewable in net.automatalib.ts.modal

Modifier and Type	Interface	Description
interface	ModalTransitionSystem<S,I,T,TP extends ModalEdgeProperty>	A modal transition system is a UniversalAutomaton in which transitions can be marked as may or must edges.
interface	MutableModalTransitionSystem<S,I,T,TP extends MutableModalEdgeProperty>	A mutable version of ModalTransitionSystem that allows to add states and transitions.

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

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

Uses of GraphViewable in net.automatalib.util.automaton.vpa

Classes in net.automatalib.util.automaton.vpa that implement GraphViewable

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

Uses of GraphViewable in net.automatalib.visualization

Methods in net.automatalib.visualization with parameters of type GraphViewable

Modifier and Type	Method	Description
static void	Visualization.visualize(GraphViewable gv)
static void	Visualization.visualize(GraphViewable gv, boolean modal)
static void	Visualization.visualize(GraphViewable gv, boolean modal, Map<String,String> options)