Uses of Interface
de.rwth.i2.attestor.graph.Nonterminal

Packages that use Nonterminal

Package	Description
de.rwth.i2.attestor.grammar	This package containsSubsumingState the classes storing the actual grammar-data.
de.rwth.i2.attestor.grammar.canonicalization	This package containsSubsumingState all necessary classes to perform canonicalization.
de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar
de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar
de.rwth.i2.attestor.grammar.materialization.communication
de.rwth.i2.attestor.grammar.materialization.defaultGrammar
de.rwth.i2.attestor.grammar.materialization.indexedGrammar
de.rwth.i2.attestor.grammar.materialization.util
de.rwth.i2.attestor.graph	Abstractions and implementations of various labeled graphs and heap configurations.
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.io.jsonImport
de.rwth.i2.attestor.main.scene
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

Uses of Nonterminal in de.rwth.i2.attestor.grammar

Methods in de.rwth.i2.attestor.grammar that return types with arguments of type Nonterminal

Modifier and Type	Method and Description
Set<Nonterminal>	Grammar.getAllLeftHandSides()

Methods in de.rwth.i2.attestor.grammar with parameters of type Nonterminal

Modifier and Type	Method and Description
GrammarBuilder	GrammarBuilder.addCollapsedRule(Nonterminal lhs, CollapsedHeapConfiguration rhs)
GrammarBuilder	GrammarBuilder.addRule(Nonterminal lhs, HeapConfiguration rhs)
GrammarBuilder	GrammarBuilder.addRules(Nonterminal lhs, Collection<HeapConfiguration> rightHandSides)
Set<CollapsedHeapConfiguration>	Grammar.getCollapsedRightHandSidesFor(Nonterminal nonterminal)
Set<HeapConfiguration>	Grammar.getRightHandSidesFor(Nonterminal nonterminal) Gets all rule graphs of rules with the specified left hand side.

Method parameters in de.rwth.i2.attestor.grammar with type arguments of type Nonterminal

Modifier and Type	Method and Description
GrammarBuilder	GrammarBuilder.addRules(Map<Nonterminal,? extends Collection<HeapConfiguration>> newRules)

Uses of Nonterminal in de.rwth.i2.attestor.grammar.canonicalization

Methods in de.rwth.i2.attestor.grammar.canonicalization with parameters of type Nonterminal

Modifier and Type	Method and Description
HeapConfiguration	CanonicalizationHelper.tryReplaceMatching(HeapConfiguration toAbstract, CollapsedHeapConfiguration rhs, Nonterminal lhs) If an embedding of rhs in toAbstract can be found it computes it and replaces it with a nonterminal edge labeled with lhs.
HeapConfiguration	CanonicalizationHelper.tryReplaceMatching(HeapConfiguration toAbstract, HeapConfiguration rhs, Nonterminal lhs) If an embedding of rhs in toAbstract can be found it computes it and replaces it with a nonterminal edge labeled with lhs.

Uses of Nonterminal in de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar

Methods in de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar with parameters of type Nonterminal

Modifier and Type	Method and Description
HeapConfiguration	DefaultCanonicalizationHelper.tryReplaceMatching(HeapConfiguration toAbstract, CollapsedHeapConfiguration rhs, Nonterminal lhs)
HeapConfiguration	DefaultCanonicalizationHelper.tryReplaceMatching(HeapConfiguration toAbstract, HeapConfiguration rhs, Nonterminal lhs)

Uses of Nonterminal in de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar

Methods in de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar that return Nonterminal

Modifier and Type	Method and Description
Nonterminal	IndexEmbeddingResult.getInstantiatedLhs()

Methods in de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar with parameters of type Nonterminal

Modifier and Type	Method and Description
IndexEmbeddingResult	EmbeddingIndexChecker.getIndexEmbeddingResult(HeapConfiguration toAbstract, Matching embedding, Nonterminal lhs) Computes the necessary materialization and instantiation to match the nonterminals of the embedding in toAbstract.
HeapConfiguration	IndexedCanonicalizationHelper.tryReplaceMatching(HeapConfiguration toAbstract, CollapsedHeapConfiguration rhs, Nonterminal lhs)
HeapConfiguration	IndexedCanonicalizationHelper.tryReplaceMatching(HeapConfiguration heapConfiguration, HeapConfiguration rhs, Nonterminal lhs)

Constructors in de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar with parameters of type Nonterminal

Constructor and Description
IndexEmbeddingResult(HeapConfiguration materializedToAbstract, Nonterminal instantiatedLhs)

Uses of Nonterminal in de.rwth.i2.attestor.grammar.materialization.communication

Methods in de.rwth.i2.attestor.grammar.materialization.communication that return Nonterminal

Modifier and Type	Method and Description
Nonterminal	GrammarRequest.getNonterminal()

Constructors in de.rwth.i2.attestor.grammar.materialization.communication with parameters of type Nonterminal

Constructor and Description
GrammarRequest(Nonterminal nonterminal2, int tentacle, String selectorLabel)

Uses of Nonterminal in de.rwth.i2.attestor.grammar.materialization.defaultGrammar

Methods in de.rwth.i2.attestor.grammar.materialization.defaultGrammar with parameters of type Nonterminal

Modifier and Type	Method and Description
GrammarResponse	DefaultMaterializationRuleManager.getRulesFor(Nonterminal toReplace, int tentacle, String requestedSelector) returns a DefaultGrammarResponse containing the right hand side of all rules whose lhs matches the given nonterminal and which create the requested selector at the given tentacle of the nonterminal.

Uses of Nonterminal in de.rwth.i2.attestor.grammar.materialization.indexedGrammar

Methods in de.rwth.i2.attestor.grammar.materialization.indexedGrammar with parameters of type Nonterminal

Modifier and Type	Method and Description
GrammarResponse	IndexedMaterializationRuleManager.getRulesFor(Nonterminal toReplace, int tentacle, String requestedSelector)

Method parameters in de.rwth.i2.attestor.grammar.materialization.indexedGrammar with type arguments of type Nonterminal

Modifier and Type	Method and Description
GrammarResponse	IndexedRuleAdapter.computeMaterializationsAndRules(IndexedNonterminal toReplace, Map<Nonterminal,Collection<HeapConfiguration>> rulesResolvingViolationPoint) For each lhs in the suggested rules, determines whether it can match the nonterminal and adds the necessary materialization and instantiated rules in this case.

Uses of Nonterminal in de.rwth.i2.attestor.grammar.materialization.util

Methods in de.rwth.i2.attestor.grammar.materialization.util that return types with arguments of type Nonterminal

Modifier and Type	Method and Description
Map<Nonterminal,Collection<HeapConfiguration>>	GrammarAdapter.getAllRulesFor(Nonterminal nonterminal)
Map<Nonterminal,Collection<HeapConfiguration>>	ViolationPointResolver.getRulesCreatingSelectorFor(Nonterminal nonterminal, int tentacle, String selectorName) gets all rules matching the given nonterminal and creating the requested selector label at the given tentacle of the nonterminal

Methods in de.rwth.i2.attestor.grammar.materialization.util with parameters of type Nonterminal

Modifier and Type	Method and Description
Map<Nonterminal,Collection<HeapConfiguration>>	GrammarAdapter.getAllRulesFor(Nonterminal nonterminal)
Map<Nonterminal,Collection<HeapConfiguration>>	ViolationPointResolver.getRulesCreatingSelectorFor(Nonterminal nonterminal, int tentacle, String selectorName) gets all rules matching the given nonterminal and creating the requested selector label at the given tentacle of the nonterminal
GrammarResponse	MaterializationRuleManager.getRulesFor(Nonterminal toReplace, int tentacle, String requestedSelector)

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

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

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

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

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

Modifier and Type	Method and Description
Nonterminal	HeapConfiguration.labelOf(int ntEdge)

Methods in de.rwth.i2.attestor.graph.heap with parameters of type Nonterminal

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
HeapConfigurationBuilder	HeapConfigurationBuilder.addNonterminalEdge(Nonterminal label, gnu.trove.list.array.TIntArrayList attachedNodes) Adds a new nonterminal edge.
int	HeapConfigurationBuilder.addNonterminalEdgeAndReturnId(Nonterminal label, gnu.trove.list.array.TIntArrayList attachedNodes) Adds a new nonterminal edge and returns the respective id
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.replaceNonterminal(int ntEdge, Nonterminal newNt) Substitutes the label of a given nonterminal edge by the provided label.

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

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

Modifier and Type	Method and Description
Nonterminal	InternalHeapConfiguration.labelOf(int ntEdge)

Methods in de.rwth.i2.attestor.graph.heap.internal with parameters of type Nonterminal

Modifier and Type	Method and Description
NonterminalEdgeBuilder	InternalHeapConfigurationBuilder.addNonterminalEdge(Nonterminal nt)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.addNonterminalEdge(Nonterminal label, gnu.trove.list.array.TIntArrayList attachedNodes)
int	InternalHeapConfigurationBuilder.addNonterminalEdgeAndReturnId(Nonterminal label, gnu.trove.list.array.TIntArrayList attachedNodes)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceMatching(Matching matching, Nonterminal nonterminal)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceMatchingWithCollapsedExternals(Matching matching, Nonterminal nonterminal, gnu.trove.list.array.TIntArrayList externalIndicesMap)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceNonterminal(int ntEdge, Nonterminal newNt)

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

Constructor and Description
InternalNonterminalEdgeBuilder(Nonterminal nt, HeapConfigurationBuilder heapConfigurationBuilder)

Uses of Nonterminal in de.rwth.i2.attestor.io.jsonImport

Methods in de.rwth.i2.attestor.io.jsonImport that return types with arguments of type Nonterminal

Modifier and Type	Method and Description
Map<Nonterminal,Collection<HeapConfiguration>>	JsonToGrammar.parseForwardGrammar(org.json.JSONArray input)
Map<Nonterminal,Collection<HeapConfiguration>>	JsonToIndexedGrammar.parseForwardGrammar(org.json.JSONArray input)

Uses of Nonterminal in de.rwth.i2.attestor.main.scene

Methods in de.rwth.i2.attestor.main.scene that return Nonterminal

Modifier and Type	Method and Description
Nonterminal	DefaultScene.createNonterminal(String label, int rank, boolean[] isReductionTentacle)
Nonterminal	Scene.createNonterminal(String label, int rank, boolean[] isReductionTentacle)
Nonterminal	DefaultScene.getNonterminal(String name)
Nonterminal	Scene.getNonterminal(String name)

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

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

Modifier and Type	Method and Description
Nonterminal	HeapConfigurationPair.labelOf(int ntEdge)

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair with parameters of type Nonterminal

Modifier and Type	Method and Description
NonterminalEdgeBuilder	HeapConfigurationPairBuilder.addNonterminalEdge(Nonterminal nt)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.addNonterminalEdge(Nonterminal label, gnu.trove.list.array.TIntArrayList attachedNodes)
int	HeapConfigurationPairBuilder.addNonterminalEdgeAndReturnId(Nonterminal label, gnu.trove.list.array.TIntArrayList attachedNodes)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceMatching(Matching matching, Nonterminal nonterminal)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceMatchingWithCollapsedExternals(Matching embedding, Nonterminal nonterminal, gnu.trove.list.array.TIntArrayList externalIndicesMap)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceNonterminal(int ntEdge, Nonterminal newNt)

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

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

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

Constructors in de.rwth.i2.attestor.programState.defaultState with parameters of type Nonterminal

Constructor and Description
RefinedDefaultNonterminal(Nonterminal nonterminal, HeapAutomatonState state)

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

Subinterfaces of Nonterminal 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 Nonterminal

Modifier and Type	Class and Description
class	IndexedNonterminalImpl

Fields in de.rwth.i2.attestor.programState.indexedState declared as Nonterminal

Modifier and Type	Field and Description
protected Nonterminal	IndexedNonterminalImpl.basicNonterminal

Constructors in de.rwth.i2.attestor.programState.indexedState with parameters of type Nonterminal

Constructor and Description
IndexedNonterminalImpl(Nonterminal basicNonterminal, Index index)
IndexedNonterminalImpl(Nonterminal basicNonterminal, List<IndexSymbol> index)

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

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

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