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 aProceduralSystem
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 theProceduralModalProcessGraph
.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 aIndefiniteSimpleGraph
.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 aContextFreeModalProcessSystem
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>>
-