Uses of Interface
net.automatalib.graph.UniversalIndefiniteGraph
-
Packages that use UniversalIndefiniteGraph Package Description net.automatalib.automaton.fsa net.automatalib.automaton.graph net.automatalib.automaton.transducer net.automatalib.graph This package (including sub-packages) contains the basic classes concerning graphs.net.automatalib.ts.modal -
-
Uses of UniversalIndefiniteGraph in net.automatalib.automaton.fsa
Classes in net.automatalib.automaton.fsa that implement UniversalIndefiniteGraph Modifier and Type Class Description static class
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
-
Uses of UniversalIndefiniteGraph in net.automatalib.automaton.graph
Classes in net.automatalib.automaton.graph that implement UniversalIndefiniteGraph Modifier and Type Class Description class
UniversalAutomatonGraphView<S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>>
-
Uses of UniversalIndefiniteGraph in net.automatalib.automaton.transducer
Classes in net.automatalib.automaton.transducer that implement UniversalIndefiniteGraph 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 UniversalIndefiniteGraph in net.automatalib.graph
Subinterfaces of UniversalIndefiniteGraph in net.automatalib.graph Modifier and Type Interface Description 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
UniversalBidirectionalGraph<N,E,NP,EP>
interface
UniversalGraph<N,E,NP,EP>
-
Uses of UniversalIndefiniteGraph in net.automatalib.ts.modal
Classes in net.automatalib.ts.modal that implement UniversalIndefiniteGraph Modifier and Type Class Description static class
ModalTransitionSystem.MTSGraphView<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>
-