Uses of Interface
net.automatalib.graph.UniversalGraph
-
Packages that use UniversalGraph Package Description net.automatalib.automaton This package (including sub-packages) contains the basic classes concerning automata.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 UniversalGraph in net.automatalib.automaton
Methods in net.automatalib.automaton that return UniversalGraph Modifier and Type Method Description default UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>
UniversalAutomaton. transitionGraphView(Collection<? extends I> inputs)
default UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>
UniversalFiniteAlphabetAutomaton. transitionGraphView()
-
Uses of UniversalGraph in net.automatalib.automaton.fsa
Classes in net.automatalib.automaton.fsa that implement UniversalGraph Modifier and Type Class Description static class
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
Methods in net.automatalib.automaton.fsa that return UniversalGraph Modifier and Type Method Description default UniversalGraph<S,TransitionEdge<I,S>,Boolean,TransitionEdge.Property<I,Void>>
FiniteStateAcceptor. transitionGraphView(Collection<? extends I> inputs)
-
Uses of UniversalGraph in net.automatalib.automaton.graph
Classes in net.automatalib.automaton.graph that implement UniversalGraph Modifier and Type Class Description class
UniversalAutomatonGraphView<S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>>
-
Uses of UniversalGraph in net.automatalib.automaton.transducer
Classes in net.automatalib.automaton.transducer that implement UniversalGraph 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>>
Methods in net.automatalib.automaton.transducer that return UniversalGraph Modifier and Type Method Description default UniversalGraph<S,TransitionEdge<I,T>,Void,TransitionEdge.Property<I,O>>
MealyMachine. transitionGraphView(Collection<? extends I> inputs)
default UniversalGraph<S,TransitionEdge<I,T>,O,TransitionEdge.Property<I,Void>>
MooreMachine. transitionGraphView(Collection<? extends I> inputs)
default UniversalGraph<S,TransitionEdge<I,T>,Word<O>,TransitionEdge.Property<I,Word<O>>>
SubsequentialTransducer. transitionGraphView(Collection<? extends I> inputs)
-
Uses of UniversalGraph in net.automatalib.graph
Subinterfaces of UniversalGraph 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>
-
Uses of UniversalGraph in net.automatalib.ts.modal
Classes in net.automatalib.ts.modal that implement UniversalGraph Modifier and Type Class Description static class
ModalTransitionSystem.MTSGraphView<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>
Methods in net.automatalib.ts.modal that return UniversalGraph Modifier and Type Method Description default UniversalGraph<S,TransitionEdge<I,T>,Void,TransitionEdge.Property<I,TP>>
ModalTransitionSystem. transitionGraphView(Collection<? extends I> inputs)
-