Uses of Interface
de.rwth.i2.attestor.graph.heap.NonterminalEdgeBuilder

Packages that use NonterminalEdgeBuilder

Package	Description
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.phases.counterexamples.counterexampleGeneration.heapConfigurationPair

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

Methods in de.rwth.i2.attestor.graph.heap that return NonterminalEdgeBuilder

Modifier and Type	Method and Description
NonterminalEdgeBuilder	HeapConfigurationBuilder.addNonterminalEdge(Nonterminal nt) gets a nonterminalEdgeBuilder that allows to specify the tentacles of this nonterminal and add the resulting edge to the graph
NonterminalEdgeBuilder	NonterminalEdgeBuilder.addTentacle(int tentacle)

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

Classes in de.rwth.i2.attestor.graph.heap.internal that implement NonterminalEdgeBuilder

Modifier and Type	Class and Description
class	InternalNonterminalEdgeBuilder

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

Modifier and Type	Method and Description
NonterminalEdgeBuilder	InternalHeapConfigurationBuilder.addNonterminalEdge(Nonterminal nt)
NonterminalEdgeBuilder	InternalNonterminalEdgeBuilder.addTentacle(int tentacle)

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

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

Modifier and Type	Method and Description
NonterminalEdgeBuilder	HeapConfigurationPairBuilder.addNonterminalEdge(Nonterminal nt)