Uses of Interface
net.automatalib.graph.MutableGraph

Packages that use MutableGraph

Package	Description
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.serialization.dot
net.automatalib.util.graph.copy

Uses of MutableGraph in net.automatalib.graph

Subinterfaces of MutableGraph in net.automatalib.graph

Modifier and Type	Interface	Description
interface	MutableProceduralModalProcessGraph<N,L,E,AP,TP extends MutableProceduralModalEdgeProperty>	A mutable version of the ProceduralModalProcessGraph.
interface	MutableUniversalBidirectionalGraph<N,E,NP,EP>

Classes in net.automatalib.graph that implement MutableGraph

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 MutableGraph in net.automatalib.graph.base

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

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

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

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

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 MutableGraph in net.automatalib.serialization.dot

Classes in net.automatalib.serialization.dot with type parameters of type MutableGraph

Modifier and Type	Class	Description
class	DOTGraphParser<NP,EP,G extends MutableGraph<?,?,NP,EP>>	General-purpose DOT parser for MutableGraphs.

Methods in net.automatalib.serialization.dot with type parameters of type MutableGraph

Modifier and Type	Method	Description
static <NP,EP,G extends MutableGraph<?,?,NP,EP>> ModelDeserializer<G>	DOTParsers.graph(Supplier<G> creator, Function<Map<String,String>,NP> nodeParser, Function<Map<String,String>,EP> edgeParser)	Parser for (directed) Graphs with a custom graph instance and custom node and edge attributes.

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

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

Modifier and Type	Method	Description
static <N1,E1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyPlain(Graph<N1,E1> in, MutableGraph<N2,E2,NP2,EP2> out, Mapping<? super N1,? extends NP2> npMapping, Mapping<? super E1,? extends EP2> epMapping)
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,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyTraversal(IndefiniteGraph<N1,E1> in, MutableGraph<N2,E2,NP2,EP2> out, TraversalOrder order, int limit, Collection<? extends N1> initialNodes, Mapping<? super N1,? extends NP2> npMapping, Mapping<? super E1,? extends EP2> epMapping)
static <N1,E1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyTraversal(UniversalIndefiniteGraph<N1,E1,? extends NP2,? extends EP2> in, MutableGraph<N2,E2,NP2,EP2> out, TraversalOrder order, int limit, Collection<? extends N1> initialNodes)
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)
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyUniversalTraversal(UniversalIndefiniteGraph<N1,E1,NP1,EP1> in, MutableGraph<N2,E2,NP2,EP2> out, TraversalOrder order, int limit, Collection<? extends N1> initialNodes, Mapping<? super NP1,? extends NP2> npConversion, Mapping<? super EP1,? extends EP2> epConversion)