Uses of Interface
net.automatalib.graph.concept.NodeIDs

Packages that use NodeIDs

Package	Description
net.automatalib.automaton.graph
net.automatalib.graph	This package (including sub-packages) contains the basic classes concerning graphs.
net.automatalib.graph.base
net.automatalib.graph.helper
net.automatalib.modelchecker.m3c.solver

Uses of NodeIDs in net.automatalib.automaton.graph

Classes in net.automatalib.automaton.graph that implement NodeIDs

Modifier and Type	Class	Description
class	StateAsNodeIDs<S>

Methods in net.automatalib.automaton.graph that return NodeIDs

Modifier and Type	Method	Description
NodeIDs<S>	AbstractAutomatonGraphView.nodeIDs()

Uses of NodeIDs in net.automatalib.graph

Classes in net.automatalib.graph that implement NodeIDs

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

Methods in net.automatalib.graph that return NodeIDs

Modifier and Type	Method	Description
default NodeIDs<N>	SimpleGraph.nodeIDs()

Uses of NodeIDs in net.automatalib.graph.base

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

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

Methods in net.automatalib.graph.base that return NodeIDs

Modifier and Type	Method	Description
NodeIDs<Integer>	AbstractCompactGraph.nodeIDs()

Uses of NodeIDs in net.automatalib.graph.helper

Classes in net.automatalib.graph.helper that implement NodeIDs

Modifier and Type	Class	Description
class	SimpleNodeIDs<N>

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

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

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.

Methods in net.automatalib.modelchecker.m3c.solver that return NodeIDs

Modifier and Type	Method	Description
NodeIDs<N>	SolverData.getNodeIDs()	Returns the NodeIDs of the ProceduralModalProcessGraph returned by SolverData.getPmpg().