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.graph	This package (including sub-packages) contains the basic classes concerning graphs.
net.automatalib.graph.ads
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.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.

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).

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>>