Uses of Interface
de.rwth.i2.attestor.graph.digraph.NodeLabel

Packages that use NodeLabel

Package	Description
de.rwth.i2.attestor.graph	Abstractions and implementations of various labeled graphs and heap configurations.
de.rwth.i2.attestor.graph.digraph	Implementation of a directed graph in which nodes are labeled with objects implementing NodeLabel and edges are labeled with arbitrary objects.
de.rwth.i2.attestor.graph.heap	All abstractions needed to work with HeapConfigurations.
de.rwth.i2.attestor.graph.heap.internal	All the messy details to implement a HeapConfiguration as a bipartite directed labeled graph.
de.rwth.i2.attestor.graph.morphism	This package implements algorithms to compute various kinds of graph morphisms.
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair
de.rwth.i2.attestor.programState.defaultState
de.rwth.i2.attestor.programState.indexedState
de.rwth.i2.attestor.refinement
de.rwth.i2.attestor.types	Base type for all notions of types, i.e.

Uses of NodeLabel in de.rwth.i2.attestor.graph

Subinterfaces of NodeLabel in de.rwth.i2.attestor.graph

Modifier and Type	Interface and Description
interface	Nonterminal General interface for nonterminal symbols.

Classes in de.rwth.i2.attestor.graph that implement NodeLabel

Modifier and Type	Class and Description
class	BasicNonterminal A simple standard implementation of nonterminal symbols.

Uses of NodeLabel in de.rwth.i2.attestor.graph.digraph

Methods in de.rwth.i2.attestor.graph.digraph that return NodeLabel

Modifier and Type	Method and Description
NodeLabel	LabeledDigraph.nodeLabelOf(int node)

Methods in de.rwth.i2.attestor.graph.digraph with parameters of type NodeLabel

Modifier and Type	Method and Description
void	LabeledDigraph.addNode(NodeLabel label, int successorCapacity, int predecessorCapacity) Adds a new node with the provided label.
default boolean	NodeLabel.matches(NodeLabel other)
void	LabeledDigraph.replaceNodeLabel(int node, NodeLabel newLabel) Sets the label of a node to newLabel.

Uses of NodeLabel in de.rwth.i2.attestor.graph.heap

Classes in de.rwth.i2.attestor.graph.heap that implement NodeLabel

Modifier and Type	Class and Description
class	Variable Wrapper for a String such that Strings can be used as NodeLabel in LabeledDigraph.

Uses of NodeLabel in de.rwth.i2.attestor.graph.heap.internal

Methods in de.rwth.i2.attestor.graph.heap.internal that return NodeLabel

Modifier and Type	Method and Description
NodeLabel	InternalHeapConfiguration.getNodeLabel(int privateNodeId) This method directly access the LabeledDigraph underlying an InternalHeapConfiguration through private IDs.

Uses of NodeLabel in de.rwth.i2.attestor.graph.morphism

Methods in de.rwth.i2.attestor.graph.morphism that return NodeLabel

Modifier and Type	Method and Description
NodeLabel	Graph.getNodeLabel(int node)

Uses of NodeLabel in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair that return NodeLabel

Modifier and Type	Method and Description
NodeLabel	HeapConfigurationPair.getNodeLabel(int node)

Uses of NodeLabel in de.rwth.i2.attestor.programState.defaultState

Classes in de.rwth.i2.attestor.programState.defaultState that implement NodeLabel

Modifier and Type	Class and Description
class	RefinedDefaultNonterminal A nonterminal symbol that is additionally annotated with a state of a heap automaton.

Uses of NodeLabel in de.rwth.i2.attestor.programState.indexedState

Subinterfaces of NodeLabel in de.rwth.i2.attestor.programState.indexedState

Modifier and Type	Interface and Description
interface	IndexedNonterminal

Classes in de.rwth.i2.attestor.programState.indexedState that implement NodeLabel

Modifier and Type	Class and Description
class	IndexedNonterminalImpl

Methods in de.rwth.i2.attestor.programState.indexedState with parameters of type NodeLabel

Modifier and Type	Method and Description
boolean	IndexedNonterminalImpl.matches(NodeLabel obj)

Uses of NodeLabel in de.rwth.i2.attestor.refinement

Subinterfaces of NodeLabel in de.rwth.i2.attestor.refinement

Modifier and Type	Interface and Description
interface	RefinedNonterminal A symbol that is annotated with a heap automaton state.

Uses of NodeLabel in de.rwth.i2.attestor.types

Subinterfaces of NodeLabel in de.rwth.i2.attestor.types

Modifier and Type	Interface and Description
interface	Type General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

Classes in de.rwth.i2.attestor.types that implement NodeLabel

Modifier and Type	Class and Description
class	GeneralType A simple implementation of types.