Uses of Interface
net.automatalib.graph.IndefiniteSimpleGraph

Packages that use IndefiniteSimpleGraph

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.modelchecker.m3c.solver
net.automatalib.ts.modal

Uses of IndefiniteSimpleGraph in net.automatalib.automaton.fsa

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

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

Uses of IndefiniteSimpleGraph in net.automatalib.automaton.graph

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

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

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

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

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

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

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

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

Uses of IndefiniteSimpleGraph in net.automatalib.brics

Classes in net.automatalib.brics that implement IndefiniteSimpleGraph

Modifier and Type	Class	Description
class	AbstractBricsAutomaton.GraphView

Uses of IndefiniteSimpleGraph in net.automatalib.graph

Subinterfaces of IndefiniteSimpleGraph 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	IndefiniteGraph<N,E>	Interface for an (indefinite) graph structure.
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	SimpleGraph<N>	The finite version of a IndefiniteSimpleGraph.
interface	UndirectedGraph<N,E>	An undirected graph.
interface	UniversalBidirectionalGraph<N,E,NP,EP>
interface	UniversalGraph<N,E,NP,EP>
interface	UniversalIndefiniteGraph<N,E,NP,EP>	A universal graph, i.e., with (possibly empty) node and edge properties.

Classes in net.automatalib.graph that implement IndefiniteSimpleGraph

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 IndefiniteSimpleGraph in net.automatalib.graph.ads

Subinterfaces of IndefiniteSimpleGraph 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 IndefiniteSimpleGraph

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 IndefiniteSimpleGraph in net.automatalib.graph.base

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

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

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

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

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 IndefiniteSimpleGraph in net.automatalib.ts.modal

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

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