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