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

Packages that use Graph.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 Graph.IntAbstraction in net.automatalib.graph

Subinterfaces of Graph.IntAbstraction in net.automatalib.graph

Modifier and Type	Interface	Description
static interface	BidirectionalGraph.IntAbstraction<E>	Interface for node integer abstractions of a BidirectionalGraph.
static interface	MutableGraph.IntAbstraction<E,NP,EP>	Interface for node integer abstractions of a MutableGraph.
static interface	UniversalGraph.IntAbstraction<E,NP,EP>	Interface for node integer abstractions of a UniversalGraph.

Classes in net.automatalib.graph that implement Graph.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 Graph.IntAbstraction in net.automatalib.graph.base

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

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

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

Classes in net.automatalib.modelchecker.m3c.solver that implement Graph.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.