Uses of Interface
net.automatalib.graph.Graph

Packages that use Graph

Package	Description
net.automatalib.automaton	This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.automaton.fsa
net.automatalib.automaton.graph
net.automatalib.automaton.procedural
net.automatalib.automaton.transducer
net.automatalib.automaton.vpa
net.automatalib.graph	This package (including sub-packages) contains the basic classes concerning graphs.
net.automatalib.graph.ads
net.automatalib.graph.concept
net.automatalib.ts.modal

Uses of Graph in net.automatalib.automaton

Methods in net.automatalib.automaton that return Graph

Modifier and Type	Method	Description
default Graph<?,?>	FiniteAlphabetAutomaton.graphView()
default Graph<S,TransitionEdge<I,T>>	Automaton.transitionGraphView(Collection<? extends I> inputs)	Obtains a graph view of the transition graph of this automaton, taking into account the specified input symbols.
default Graph<S,TransitionEdge<I,T>>	FiniteAlphabetAutomaton.transitionGraphView()

Uses of Graph in net.automatalib.automaton.fsa

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

Modifier and Type	Class	Description
static class	FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>

Uses of Graph in net.automatalib.automaton.graph

Classes in net.automatalib.automaton.graph that implement Graph

Modifier and Type	Class	Description
class	AbstractAutomatonGraphView<S,A extends Automaton<S,?,?>,E>
class	AutomatonGraphView<S,I,T,A extends Automaton<S,I,T>>
class	UniversalAutomatonGraphView<S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>>

Uses of Graph in net.automatalib.automaton.procedural

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

Modifier and Type	Class	Description
class	ProceduralGraphView<S,I>	Graph representation of a ProceduralSystem that displays all states of its sub-procedures once, i.e., without incorporating execution semantics such as stack contents.

Uses of Graph in net.automatalib.automaton.transducer

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

Modifier and Type	Class	Description
static class	MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>>
static class	MooreMachine.MooreGraphView<S,I,T,O,A extends MooreMachine<S,I,T,O>>
static class	SubsequentialTransducer.SSTGraphView<S,I,T,O,A extends SubsequentialTransducer<S,I,T,O>>

Uses of Graph in net.automatalib.automaton.vpa

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

Modifier and Type	Class	Description
class	SEVPAGraphView<L,I>

Methods in net.automatalib.automaton.vpa that return Graph

Modifier and Type	Method	Description
default Graph<L,SEVPAGraphView.SevpaViewEdge<L,I>>	SEVPA.graphView()

Uses of Graph in net.automatalib.graph

Subinterfaces of Graph in net.automatalib.graph

Modifier and Type	Interface	Description
interface	AcceptanceGraph<N,E>	Interface for finite graphs that embody the concept of node acceptance.
interface	BidirectionalGraph<N,E>	Interface for bidirectional graph.
interface	FiniteKripkeStructure<N,E,AP>	A Kripke structure is a graph which has sets of atomic properties assigned to its nodes.
interface	FiniteLabeledGraph<N,E,L>
interface	MutableGraph<N,E,NP,EP>	A graph that allows modification.
interface	MutableProceduralModalProcessGraph<N,L,E,AP,TP extends MutableProceduralModalEdgeProperty>	A mutable version of the ProceduralModalProcessGraph.
interface	MutableUniversalBidirectionalGraph<N,E,NP,EP>
interface	ProceduralModalProcessGraph<N,L,E,AP,TP extends ProceduralModalEdgeProperty>	Represents a Procedural Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.
interface	ShrinkableGraph<N,E>	A graph that supports (desirably efficient) removal of nodes and edges.
interface	UndirectedGraph<N,E>	An undirected graph.
interface	UniversalBidirectionalGraph<N,E,NP,EP>
interface	UniversalGraph<N,E,NP,EP>

Classes in net.automatalib.graph that implement Graph

Modifier and Type	Class	Description
class	CFMPSGraphView<N,L,E,AP>	Graph representation of a ContextFreeModalProcessSystem that displays all nodes of its sub-procedures once, i.e., without incorporating execution semantics such as expansion.

Methods in net.automatalib.graph that return Graph

Modifier and Type	Method	Description
default Graph<?,?>	ContextFreeModalProcessSystem.graphView()

Uses of Graph in net.automatalib.graph.ads

Subinterfaces of Graph in net.automatalib.graph.ads

Modifier and Type	Interface	Description
interface	ADSNode<S,I,O>	A (simplified) node in an adaptive distinguishing sequence.
interface	RecursiveADSNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>	An interface representing a node in an adaptive distinguishing sequence (which essentially forms a decision tree).

Uses of Graph in net.automatalib.graph.concept

Methods in net.automatalib.graph.concept that return Graph

Modifier and Type	Method	Description
Graph<?,?>	GraphViewable.graphView()

Uses of Graph in net.automatalib.ts.modal

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

Modifier and Type	Class	Description
static class	ModalTransitionSystem.MTSGraphView<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>