Uses of Interface
net.automatalib.graph.MutableGraph.IntAbstraction

Packages that use MutableGraph.IntAbstraction

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

Uses of MutableGraph.IntAbstraction in net.automatalib.graph

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

Modifier and Type	Class	Description
class	CompactBidiGraph<NP,EP>
class	CompactGraph<NP,EP>
class	CompactPMPG<L,AP>
class	CompactSimpleBidiGraph<EP>
class	CompactSimpleGraph<EP>

Uses of MutableGraph.IntAbstraction in net.automatalib.graph.base

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

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

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

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

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.