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

Packages that use HeapConfigurationBuilder

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 HeapConfigurationBuilder in de.rwth.i2.attestor.graph.heap

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

Modifier and Type	Method and Description
HeapConfigurationBuilder	HeapConfigurationBuilder.addNodes(Type type, int count, gnu.trove.list.array.TIntArrayList buffer) Add count nodes of Type type to the underlying graph.
HeapConfigurationBuilder	HeapConfigurationBuilder.addNonterminalEdge(Nonterminal label, gnu.trove.list.array.TIntArrayList attachedNodes) Adds a new nonterminal edge.
HeapConfigurationBuilder	HeapConfigurationBuilder.addSelector(int from, SelectorLabel sel, int to) Adds a new selector edge that is labeled with 'sel' and points from node 'from' to node 'to'.
HeapConfigurationBuilder	HeapConfigurationBuilder.addVariableEdge(String name, int target) Adds a new, not already existing, variable edge and attaches it to the given target node.
HeapConfigurationBuilder	NonterminalEdgeBuilder.build()
HeapConfigurationBuilder	HeapConfiguration.builder() Mark a HeapConfiguration as temporarily mutable by a HeapConfigurationBuilder.
HeapConfigurationBuilder	HeapConfigurationBuilder.mergeExternals(gnu.trove.list.array.TIntArrayList extIndicesMap) Merges external nodes according to the provided index map.
HeapConfigurationBuilder	HeapConfigurationBuilder.removeIsolatedNode(int node) Removes an isolated node from the underlying HeapConfiguration
HeapConfigurationBuilder	HeapConfigurationBuilder.removeNode(int node) Removes the given node from the underlying HeapConfiguration.
HeapConfigurationBuilder	HeapConfigurationBuilder.removeNonterminalEdge(int ntEdge) Removes a given nonterminal edge.
HeapConfigurationBuilder	HeapConfigurationBuilder.removeSelector(int node, SelectorLabel sel) Removes an outgoing selector edge with the provided label 'sel' from the node 'node'.
HeapConfigurationBuilder	HeapConfigurationBuilder.removeVariableEdge(int varEdge) Removes the provided variable edge.
HeapConfigurationBuilder	HeapConfigurationBuilder.replaceMatching(Matching matching, Nonterminal nonterminal) Replaces the graph captured by the provided matching by a fresh nonterminal edge labeled with the provided nonterminal.
HeapConfigurationBuilder	HeapConfigurationBuilder.replaceMatchingWithCollapsedExternals(Matching matching, Nonterminal nonterminal, gnu.trove.list.array.TIntArrayList externalIndicesMap) Replaces the graph captured by the provided matching by a fresh nonterminal edge labeled with the provided nonterminal.
HeapConfigurationBuilder	HeapConfigurationBuilder.replaceNodeType(int node, Type newType) Sets the node type of the given node to newType.
HeapConfigurationBuilder	HeapConfigurationBuilder.replaceNonterminal(int ntEdge, Nonterminal newNt) Substitutes the label of a given nonterminal edge by the provided label.
HeapConfigurationBuilder	HeapConfigurationBuilder.replaceNonterminalEdge(int ntEdge, HeapConfiguration replacement) Performs hyperedge replacement for the given nonterminal edge and the given HeapConfiguration.
HeapConfigurationBuilder	HeapConfigurationBuilder.replaceSelector(int node, SelectorLabel oldSel, SelectorLabel newSel) Replaces the original label of an outgoing selector edge with label 'oldSel' of node 'node' by the selector label 'newSel'.
HeapConfigurationBuilder	HeapConfigurationBuilder.setExternal(int node) Marks a node as external.
HeapConfigurationBuilder	HeapConfigurationBuilder.unsetExternal(int node) Marks an external node as not external.

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

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

Modifier and Type	Class and Description
class	InternalHeapConfigurationBuilder All the messy details of a HeapConfigurationBuilder for InternalHeapConfigurations.

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

Modifier and Type	Method and Description
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.addNodes(Type type, int count, gnu.trove.list.array.TIntArrayList buffer)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.addNonterminalEdge(Nonterminal label, gnu.trove.list.array.TIntArrayList attachedNodes)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.addSelector(int from, SelectorLabel sel, int to)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.addVariableEdge(String name, int target)
HeapConfigurationBuilder	InternalNonterminalEdgeBuilder.build()
HeapConfigurationBuilder	InternalHeapConfiguration.builder()
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.mergeExternals(gnu.trove.list.array.TIntArrayList extIndicesMap)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.removeIsolatedNode(int node)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.removeNode(int node)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.removeNonterminalEdge(int ntEdge)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.removeSelector(int node, SelectorLabel sel)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.removeVariableEdge(int varEdge)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceMatching(Matching matching, Nonterminal nonterminal)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceMatchingWithCollapsedExternals(Matching matching, Nonterminal nonterminal, gnu.trove.list.array.TIntArrayList externalIndicesMap)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceNodeType(int node, Type newType)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceNonterminal(int ntEdge, Nonterminal newNt)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceNonterminalEdge(int ntEdge, HeapConfiguration replacement)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceSelector(int node, SelectorLabel oldSel, SelectorLabel newSel)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.setExternal(int node)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.unsetExternal(int node)

Constructors in de.rwth.i2.attestor.graph.heap.internal with parameters of type HeapConfigurationBuilder

Constructor and Description
InternalNonterminalEdgeBuilder(Nonterminal nt, HeapConfigurationBuilder heapConfigurationBuilder)

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

Classes in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair that implement HeapConfigurationBuilder

Modifier and Type	Class and Description
class	HeapConfigurationPairBuilder

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

Modifier and Type	Method and Description
HeapConfigurationBuilder	HeapConfigurationPairBuilder.addNodes(Type type, int count, gnu.trove.list.array.TIntArrayList buffer)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.addNonterminalEdge(Nonterminal label, gnu.trove.list.array.TIntArrayList attachedNodes)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.addSelector(int from, SelectorLabel sel, int to)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.addVariableEdge(String name, int target)
HeapConfigurationBuilder	HeapConfigurationPair.builder()
HeapConfigurationBuilder	HeapConfigurationPairBuilder.mergeExternals(gnu.trove.list.array.TIntArrayList extIndicesMap)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.removeIsolatedNode(int node)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.removeNode(int node)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.removeNonterminalEdge(int ntEdge)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.removeSelector(int node, SelectorLabel sel)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.removeVariableEdge(int varEdge)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceMatching(Matching matching, Nonterminal nonterminal)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceMatchingWithCollapsedExternals(Matching embedding, Nonterminal nonterminal, gnu.trove.list.array.TIntArrayList externalIndicesMap)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceNodeType(int node, Type newType)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceNonterminal(int ntEdge, Nonterminal newNt)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceNonterminalEdge(int ntEdge, HeapConfiguration replacement)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceSelector(int node, SelectorLabel oldSel, SelectorLabel newSel)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.setExternal(int node)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.unsetExternal(int node)