Uses of Interface
net.automatalib.graph.SimpleGraph

Packages that use SimpleGraph

Package	Description
net.automatalib.automaton.fsa
net.automatalib.automaton.graph
net.automatalib.automaton.procedural
net.automatalib.automaton.transducer
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.graph.ads
net.automatalib.graph.base
net.automatalib.graph.helper
net.automatalib.modelchecker.m3c.solver
net.automatalib.ts.modal

Uses of SimpleGraph in net.automatalib.automaton.fsa

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

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

Uses of SimpleGraph in net.automatalib.automaton.graph

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

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 SimpleGraph in net.automatalib.automaton.procedural

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

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

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

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 SimpleGraph in net.automatalib.automaton.vpa

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

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

Uses of SimpleGraph in net.automatalib.brics

Classes in net.automatalib.brics that implement SimpleGraph

Modifier and Type	Class	Description
class	AbstractBricsAutomaton.GraphView

Uses of SimpleGraph in net.automatalib.graph

Subinterfaces of SimpleGraph 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	Graph<N,E>	Graph interface.
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 SimpleGraph

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.
class	CompactBidiGraph<NP,EP>
class	CompactGraph<NP,EP>
class	CompactPMPG<L,AP>
class	CompactSimpleBidiGraph<EP>
class	CompactSimpleGraph<EP>
class	SimpleMapGraph<N>	A very simple graph realization, where nodes can be arbitrary Java objects.

Uses of SimpleGraph in net.automatalib.graph.ads

Subinterfaces of SimpleGraph 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).

Classes in net.automatalib.graph.ads that implement SimpleGraph

Modifier and Type	Class	Description
class	AbstractRecursiveADSLeafNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>	An abstract implementation of a leaf node, that may be used by other ADS-extending classes.
class	AbstractRecursiveADSSymbolNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>	An abstract implementation of a symbol node, that may be used by other ADS-extending classes.
class	ADSLeafNode<S,I,O>	An ADS-specific implementation of a leaf node.
class	ADSSymbolNode<S,I,O>	An ADS-specific implementation of a symbol node.

Uses of SimpleGraph in net.automatalib.graph.base

Classes in net.automatalib.graph.base that implement SimpleGraph

Modifier and Type	Class	Description
class	AbstractCompactBidiGraph<NP,EP>
class	AbstractCompactGraph<E extends CompactEdge<EP>,NP,EP>

Uses of SimpleGraph in net.automatalib.graph.helper

Constructors in net.automatalib.graph.helper with parameters of type SimpleGraph

Constructor	Description
SimpleNodeIDs(SimpleGraph<N> graph)

Uses of SimpleGraph in net.automatalib.modelchecker.m3c.solver

Classes in net.automatalib.modelchecker.m3c.solver that implement SimpleGraph

Modifier and Type	Class	Description
class	WitnessTree<L,AP>	A tree-like Graph that represents the BFS-style exploration of the tableau generated by the WitnessTreeExtractor.

Uses of SimpleGraph in net.automatalib.ts.modal

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

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