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.brics	This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.
net.automatalib.graph	This package (including sub-packages) contains the basic classes concerning graphs.
net.automatalib.graph.base
net.automatalib.modelchecker.m3c.solver
net.automatalib.ts.modal
net.automatalib.util.graph.concept
net.automatalib.util.graph.copy
net.automatalib.util.minimizer

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

Classes in net.automatalib.brics that implement UniversalGraph

Modifier and Type	Class	Description
class	AbstractBricsAutomaton.GraphView

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>

Classes in net.automatalib.graph that implement UniversalGraph

Modifier and Type	Class	Description
class	CompactBidiGraph<NP,EP>
class	CompactGraph<NP,EP>
class	CompactPMPG<L,AP>
class	CompactSimpleBidiGraph<EP>
class	CompactSimpleGraph<EP>
class	SimpleMapGraph<N>	A very simple graph realization, where nodes can be arbitrary Java objects.

Uses of UniversalGraph in net.automatalib.graph.base

Classes in net.automatalib.graph.base that implement UniversalGraph

Modifier and Type	Class	Description
class	AbstractCompactBidiGraph<NP,EP>
class	AbstractCompactGraph<E extends CompactEdge<EP>,NP,EP>

Uses of UniversalGraph in net.automatalib.modelchecker.m3c.solver

Classes in net.automatalib.modelchecker.m3c.solver that implement UniversalGraph

Modifier and Type	Class	Description
class	WitnessTree<L,AP>	A tree-like Graph that represents the BFS-style exploration of the tableau generated by the WitnessTreeExtractor.

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)

Uses of UniversalGraph in net.automatalib.util.graph.concept

Constructors in net.automatalib.util.graph.concept with parameters of type UniversalGraph

Constructor	Description
PropertyEdgeWeights(UniversalGraph<?,E,?,? extends Number> graph)

Uses of UniversalGraph in net.automatalib.util.graph.copy

Methods in net.automatalib.util.graph.copy with parameters of type UniversalGraph

Modifier and Type	Method	Description
static <N1,E1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyPlain(UniversalGraph<N1,E1,? extends NP2,? extends EP2> in, MutableGraph<N2,E2,NP2,EP2> out)
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyUniversalPlain(UniversalGraph<N1,E1,NP1,EP1> in, MutableGraph<N2,E2,NP2,EP2> out, Mapping<? super NP1,? extends NP2> npConversion, Mapping<? super EP1,? extends EP2> epConversion)

Uses of UniversalGraph in net.automatalib.util.minimizer

Methods in net.automatalib.util.minimizer with parameters of type UniversalGraph

Modifier and Type	Method	Description
static <S,L> MinimizationResult<S,L>	Minimizer.minimize(UniversalGraph<S,?,?,L> graph)	Minimizes an automaton.
static <S,L> MinimizationResult<S,L>	Minimizer.minimize(UniversalGraph<S,?,?,L> graph, Collection<? extends S> start)
MinimizationResult<S,L>	Minimizer.performMinimization(UniversalGraph<S,?,?,L> graph)
<E> MinimizationResult<S,L>	Minimizer.performMinimization(UniversalGraph<S,E,?,L> graph, Collection<? extends S> initialNodes)	Performs the minimization of an automaton.