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

Packages that use HeapConfiguration

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.concretization
de.rwth.i2.attestor.grammar.materialization.communication
de.rwth.i2.attestor.grammar.materialization.indexedGrammar
de.rwth.i2.attestor.grammar.materialization.strategies
de.rwth.i2.attestor.grammar.materialization.util
de.rwth.i2.attestor.grammar.util
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.heap.matching	A collection of wrapper classes to compute matchings, such as isomorphisms and embeddings of HeapConfigurations in other Heapconfigurations.
de.rwth.i2.attestor.graph.util
de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat
de.rwth.i2.attestor.io.jsonExport.inputFormat
de.rwth.i2.attestor.io.jsonImport
de.rwth.i2.attestor.main.scene
de.rwth.i2.attestor.markingGeneration
de.rwth.i2.attestor.markingGeneration.neighbourhood
de.rwth.i2.attestor.markingGeneration.visited
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair
de.rwth.i2.attestor.phases.parser
de.rwth.i2.attestor.phases.preprocessing
de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl
de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes
de.rwth.i2.attestor.phases.symbolicExecution.recursive
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis
de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies
de.rwth.i2.attestor.phases.transformers
de.rwth.i2.attestor.procedures
de.rwth.i2.attestor.programState
de.rwth.i2.attestor.programState.defaultState
de.rwth.i2.attestor.programState.indexedState
de.rwth.i2.attestor.programState.indexedState.index
de.rwth.i2.attestor.refinement
de.rwth.i2.attestor.refinement.balanced
de.rwth.i2.attestor.refinement.grammarRefinement
de.rwth.i2.attestor.refinement.identicalNeighbourhood
de.rwth.i2.attestor.refinement.languageInclusion
de.rwth.i2.attestor.refinement.pointsTo
de.rwth.i2.attestor.refinement.product
de.rwth.i2.attestor.refinement.reachability
de.rwth.i2.attestor.refinement.variableRelation
de.rwth.i2.attestor.refinement.visited
de.rwth.i2.attestor.seplog	The separation logic interface of Attestor.
de.rwth.i2.attestor.stateSpaceGeneration	A generic model of a state space and state space generation.

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

Methods in de.rwth.i2.attestor.grammar that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	CollapsedHeapConfiguration.getCollapsed()
HeapConfiguration	CollapsedHeapConfiguration.getOriginal()

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

Modifier and Type	Method and Description
Set<HeapConfiguration>	Grammar.getRightHandSidesFor(Nonterminal nonterminal) Gets all rule graphs of rules with the specified left hand side.

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

Modifier and Type	Method and Description
GrammarBuilder	GrammarBuilder.addRule(Nonterminal lhs, HeapConfiguration rhs)

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

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

Constructors in de.rwth.i2.attestor.grammar with parameters of type HeapConfiguration

Constructor and Description
CollapsedHeapConfiguration(HeapConfiguration original, HeapConfiguration collapsed, gnu.trove.list.array.TIntArrayList originalToCollapsedExternalIndices)

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

Methods in de.rwth.i2.attestor.grammar.canonicalization that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	GeneralCanonicalizationStrategy.canonicalize(HeapConfiguration heapConfiguration)
HeapConfiguration	CanonicalizationStrategy.canonicalize(HeapConfiguration heapConfiguration) Performs the canonicalization of a single heap configuration.
HeapConfiguration	CanonicalizationHelper.prepareHeapForCanonicalization(HeapConfiguration toAbstract) If the grammar type requires a modification of the graph before it can be abstracted, it is done with this method.
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.

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

Modifier and Type	Method and Description
HeapConfiguration	GeneralCanonicalizationStrategy.canonicalize(HeapConfiguration heapConfiguration)
HeapConfiguration	CanonicalizationStrategy.canonicalize(HeapConfiguration heapConfiguration) Performs the canonicalization of a single heap configuration.
AbstractMatchingChecker	EmbeddingCheckerProvider.getEmbeddingChecker(HeapConfiguration graph, HeapConfiguration pattern) For the given target and pattern, gets the correct EmbeddingCheckerType for the stored communication and the given semantics
HeapConfiguration	CanonicalizationHelper.prepareHeapForCanonicalization(HeapConfiguration toAbstract) If the grammar type requires a modification of the graph before it can be abstracted, it is done with this method.
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 HeapConfiguration in de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar

Methods in de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar that return HeapConfiguration

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

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

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

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

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

Modifier and Type	Method and Description
HeapConfiguration	IndexEmbeddingResult.getMaterializedToAbstract()
HeapConfiguration	IndexedCanonicalizationHelper.prepareHeapForCanonicalization(HeapConfiguration toAbstract) For indexed HeapConfigurations this performs index canonicalization.
HeapConfiguration	IndexedCanonicalizationHelper.tryReplaceMatching(HeapConfiguration toAbstract, CollapsedHeapConfiguration rhs, Nonterminal lhs)
HeapConfiguration	IndexedCanonicalizationHelper.tryReplaceMatching(HeapConfiguration heapConfiguration, HeapConfiguration rhs, Nonterminal lhs)

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

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.prepareHeapForCanonicalization(HeapConfiguration toAbstract) For indexed HeapConfigurations this performs index canonicalization.
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 HeapConfiguration

Constructor and Description
IndexEmbeddingResult(HeapConfiguration materializedToAbstract, Nonterminal instantiatedLhs)

Uses of HeapConfiguration in de.rwth.i2.attestor.grammar.concretization

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

Modifier and Type	Method and Description
Iterator<HeapConfiguration>	DefaultSingleStepConcretizationStrategy.concretize(HeapConfiguration heapConfiguration, int edge)
List<HeapConfiguration>	FullConcretizationStrategyImpl.concretize(HeapConfiguration abstractHc, int count)
Iterator<HeapConfiguration>	SingleStepConcretizationStrategy.concretize(HeapConfiguration heapConfiguration, int edge)
List<HeapConfiguration>	FullConcretizationStrategy.concretize(HeapConfiguration abstractHc, int count) Determines a list of up to 'count' concrete heap configurations derived from the given one

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

Modifier and Type	Method and Description
Iterator<HeapConfiguration>	DefaultSingleStepConcretizationStrategy.concretize(HeapConfiguration heapConfiguration, int edge)
List<HeapConfiguration>	FullConcretizationStrategyImpl.concretize(HeapConfiguration abstractHc, int count)
Iterator<HeapConfiguration>	SingleStepConcretizationStrategy.concretize(HeapConfiguration heapConfiguration, int edge)
List<HeapConfiguration>	FullConcretizationStrategy.concretize(HeapConfiguration abstractHc, int count) Determines a list of up to 'count' concrete heap configurations derived from the given one

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

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

Modifier and Type	Method and Description
Collection<HeapConfiguration>	DefaultGrammarResponseApplier.applyGrammarResponseTo(HeapConfiguration inputGraph, int edgeId, GrammarResponse grammarResponse)
Collection<HeapConfiguration>	DefaultGrammarResponse.getApplicableRules()
Collection<HeapConfiguration>	MaterializationAndRuleResponse.getRulesForMaterialization(List<IndexSymbol> materialization)

Methods in de.rwth.i2.attestor.grammar.materialization.communication with parameters of type HeapConfiguration

Modifier and Type	Method and Description
Collection<HeapConfiguration>	DefaultGrammarResponseApplier.applyGrammarResponseTo(HeapConfiguration inputGraph, int edgeId, GrammarResponse grammarResponse)

Constructor parameters in de.rwth.i2.attestor.grammar.materialization.communication with type arguments of type HeapConfiguration

Constructor and Description
DefaultGrammarResponse(Collection<HeapConfiguration> rules)
MaterializationAndRuleResponse(Map<List<IndexSymbol>,Collection<HeapConfiguration>> rules, AbstractIndexSymbol indexSymbolToMaterialize)

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

Methods in de.rwth.i2.attestor.grammar.materialization.indexedGrammar that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	IndexMaterializationStrategy.getMaterializedCloneWith(HeapConfiguration inputGraph, AbstractIndexSymbol symbolToMaterialize, List<IndexSymbol> inputMaterializationPostfix) Applies the given materialization ( e.g.

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

Modifier and Type	Method and Description
Collection<HeapConfiguration>	IndexedGrammarResponseApplier.applyGrammarResponseTo(HeapConfiguration inputGraph, int edgeId, GrammarResponse grammarResponse)

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

Modifier and Type	Method and Description
Collection<HeapConfiguration>	IndexedGrammarResponseApplier.applyGrammarResponseTo(HeapConfiguration inputGraph, int edgeId, GrammarResponse grammarResponse)
HeapConfiguration	IndexMaterializationStrategy.getMaterializedCloneWith(HeapConfiguration inputGraph, AbstractIndexSymbol symbolToMaterialize, List<IndexSymbol> inputMaterializationPostfix) Applies the given materialization ( e.g.

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

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 HeapConfiguration in de.rwth.i2.attestor.grammar.materialization.strategies

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

Modifier and Type	Method and Description
Collection<HeapConfiguration>	OneStepMaterializationStrategy.materialize(HeapConfiguration heapConfiguration) Attempts to apply all possible rules once to the heap, i.e.
Collection<HeapConfiguration>	MaterializationStrategy.materialize(HeapConfiguration heapConfiguration, ViolationPoints potentialViolationPoints) Attempts to materialize a given program states such that the provided
Collection<HeapConfiguration>	GeneralMaterializationStrategy.materialize(HeapConfiguration heapConfiguration, ViolationPoints potentialViolationPoints)

Methods in de.rwth.i2.attestor.grammar.materialization.strategies with parameters of type HeapConfiguration

Modifier and Type	Method and Description
Collection<HeapConfiguration>	OneStepMaterializationStrategy.materialize(HeapConfiguration heapConfiguration) Attempts to apply all possible rules once to the heap, i.e.
Collection<HeapConfiguration>	MaterializationStrategy.materialize(HeapConfiguration heapConfiguration, ViolationPoints potentialViolationPoints) Attempts to materialize a given program states such that the provided
Collection<HeapConfiguration>	GeneralMaterializationStrategy.materialize(HeapConfiguration heapConfiguration, ViolationPoints potentialViolationPoints)

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

Methods in de.rwth.i2.attestor.grammar.materialization.util that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	GraphMaterializer.getMaterializedCloneWith(HeapConfiguration inputGraph, int toReplaceIndex, HeapConfiguration rule)

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

Modifier and Type	Method and Description
Collection<HeapConfiguration>	GrammarResponseApplier.applyGrammarResponseTo(HeapConfiguration inputGraph, int edgeId, GrammarResponse grammarResponse) Materializes the given edge in the inputGraph with each rule in the grammarResponse yielding a collection of materialized graphs.
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 HeapConfiguration

Modifier and Type	Method and Description
Collection<HeapConfiguration>	GrammarResponseApplier.applyGrammarResponseTo(HeapConfiguration inputGraph, int edgeId, GrammarResponse grammarResponse) Materializes the given edge in the inputGraph with each rule in the grammarResponse yielding a collection of materialized graphs.
Deque<Pair<Integer,GrammarResponse>>	ApplicableRulesFinder.findApplicableRules(HeapConfiguration heapConfiguration)
HeapConfiguration	GraphMaterializer.getMaterializedCloneWith(HeapConfiguration inputGraph, int toReplaceIndex, HeapConfiguration rule)

Uses of HeapConfiguration in de.rwth.i2.attestor.grammar.util

Constructors in de.rwth.i2.attestor.grammar.util with parameters of type HeapConfiguration

Constructor and Description
ExternalNodesPartitioner(HeapConfiguration heapConfiguration, boolean[] reductionTentacles)

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

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

Modifier and Type	Method and Description
HeapConfiguration	HeapConfigurationBuilder.build() Marks the underlying HeapConfiguration as immutable again (until a new builder is requested).
HeapConfiguration	HeapConfiguration.clone()
HeapConfiguration	HeapConfiguration.getEmpty()
HeapConfiguration	Matching.pattern()

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

Modifier and Type	Method and Description
void	HeapConfigurationExporter.export(HeapConfiguration heapConfiguration) Exports a given HeapConfiguration.
String	HeapConfigurationExporter.exportForReport(HeapConfiguration heapConfiguration)
AbstractMatchingChecker	HeapConfiguration.getEmbeddingsOf(HeapConfiguration pattern, MorphismOptions options) Returns an AbstractMatchingChecker to search for all occurrences of the given pattern HeapConfiguration in this HeapConfiguration (the target).
HeapConfigurationBuilder	HeapConfigurationBuilder.replaceNonterminalEdge(int ntEdge, HeapConfiguration replacement) Performs hyperedge replacement for the given nonterminal edge and the given HeapConfiguration.

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

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

Modifier and Type	Class and Description
class	InternalHeapConfiguration An implementation of HeapConfiguration based on bipartite graphs, which are implemented in LabeledDigraph.

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

Modifier and Type	Method and Description
HeapConfiguration	InternalHeapConfigurationBuilder.build()
HeapConfiguration	InternalHeapConfiguration.clone()
HeapConfiguration	InternalHeapConfiguration.getEmpty()
HeapConfiguration	InternalMatching.pattern()

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

Modifier and Type	Method and Description
AbstractMatchingChecker	InternalHeapConfiguration.getEmbeddingsOf(HeapConfiguration pattern, MorphismOptions morphismOptions)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceNonterminalEdge(int ntEdge, HeapConfiguration replacement)

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

Constructor and Description
InternalMatching(HeapConfiguration pattern, Morphism morphism, HeapConfiguration target) Initializes a new InternalMatching.

Uses of HeapConfiguration in de.rwth.i2.attestor.graph.heap.matching

Methods in de.rwth.i2.attestor.graph.heap.matching that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	AbstractMatchingChecker.getPattern()
HeapConfiguration	AbstractMatchingChecker.getTarget()

Constructors in de.rwth.i2.attestor.graph.heap.matching with parameters of type HeapConfiguration

Constructor and Description
EmbeddingChecker(HeapConfiguration pattern, HeapConfiguration target) Initializes an EmbeddingChecker.
IsomorphismChecker(HeapConfiguration pattern, HeapConfiguration target) Initializes this Wrapper to search for isomorphisms between HeapConfiguration.
MinDistanceEmbeddingChecker(HeapConfiguration pattern, HeapConfiguration target, MorphismOptions options) Initializes an EmbeddingChecker with a minimal distance between variables and found embeddings.
PreconditionChecker(HeapConfiguration pattern, HeapConfiguration target) Initializes this Wrapper to search for isomorphisms between HeapConfiguration.

Uses of HeapConfiguration in de.rwth.i2.attestor.graph.util

Constructors in de.rwth.i2.attestor.graph.util with parameters of type HeapConfiguration

Constructor and Description
ReachabilityChecker(HeapConfiguration heapConfiguration, gnu.trove.TIntCollection sourceNodes)

Uses of HeapConfiguration in de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat

Methods in de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat with parameters of type HeapConfiguration

Modifier and Type	Method and Description
void	JsonExtendedHeapConfigurationExporter.export(HeapConfiguration heapConfiguration)
void	JsonHeapConfigurationExporter.export(HeapConfiguration heapConfiguration)
String	JsonExtendedHeapConfigurationExporter.exportForReport(HeapConfiguration heapConfiguration)
String	JsonHeapConfigurationExporter.exportForReport(HeapConfiguration heapConfiguration)
void	JsonHeapConfigurationExporter.writeNonterminalHyperedges(org.json.JSONWriter jsonWriter, HeapConfiguration heapConfiguration)
void	JsonHeapConfigurationExporter.writeNonterminalTentacles(org.json.JSONWriter jsonWriter, HeapConfiguration heapConfiguration)
void	JsonHeapConfigurationExporter.writeSelectors(org.json.JSONWriter jsonWriter, HeapConfiguration heapConfiguration)
void	JsonHeapConfigurationExporter.writeVariables(org.json.JSONWriter jsonWriter, HeapConfiguration heapConfiguration)
void	JsonHeapConfigurationExporter.writeVariableTentacles(org.json.JSONWriter jsonWriter, HeapConfiguration heapConfiguration)

Uses of HeapConfiguration in de.rwth.i2.attestor.io.jsonExport.inputFormat

Methods in de.rwth.i2.attestor.io.jsonExport.inputFormat with parameters of type HeapConfiguration

Modifier and Type	Method and Description
static org.json.JSONObject	HCtoInputFormatExporter.getInInputFormat(HeapConfiguration hc) Transformes the given HC into a jsonObject in the input format.

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

Methods in de.rwth.i2.attestor.io.jsonImport that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	HcLabelPair.getHc()
HeapConfiguration	JsonToHeapConfiguration.parse(org.json.JSONObject obj, Consumer<String> addSelectorLabelFunction)

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

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

Constructors in de.rwth.i2.attestor.io.jsonImport with parameters of type HeapConfiguration

Constructor and Description
HcLabelPair(String label, HeapConfiguration hc)

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

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

Modifier and Type	Method and Description
HeapConfiguration	DefaultScene.createHeapConfiguration()
HeapConfiguration	Scene.createHeapConfiguration()

Methods in de.rwth.i2.attestor.main.scene with parameters of type HeapConfiguration

Modifier and Type	Method and Description
Contract	DefaultScene.createContract(HeapConfiguration precondition, Collection<HeapConfiguration> postconditions)
Contract	Scene.createContract(HeapConfiguration precondition, Collection<HeapConfiguration> postconditions)
ProgramState	DefaultScene.createProgramState(HeapConfiguration heapConfiguration)
ProgramState	Scene.createProgramState(HeapConfiguration heapConfiguration)

Method parameters in de.rwth.i2.attestor.main.scene with type arguments of type HeapConfiguration

Modifier and Type	Method and Description
Contract	DefaultScene.createContract(HeapConfiguration precondition, Collection<HeapConfiguration> postconditions)
Contract	Scene.createContract(HeapConfiguration precondition, Collection<HeapConfiguration> postconditions)

Uses of HeapConfiguration in de.rwth.i2.attestor.markingGeneration

Methods in de.rwth.i2.attestor.markingGeneration that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
protected abstract Collection<HeapConfiguration>	AbstractMarkingGenerator.getResultingHeaps(StateSpace stateSpace)
Collection<HeapConfiguration>	AbstractMarkingGenerator.marked(ProgramState initialState)

Uses of HeapConfiguration in de.rwth.i2.attestor.markingGeneration.neighbourhood

Methods in de.rwth.i2.attestor.markingGeneration.neighbourhood that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
protected Collection<HeapConfiguration>	NeighbourhoodMarkingGenerator.getResultingHeaps(StateSpace stateSpace)

Uses of HeapConfiguration in de.rwth.i2.attestor.markingGeneration.visited

Methods in de.rwth.i2.attestor.markingGeneration.visited that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
protected Collection<HeapConfiguration>	VisitedMarkingGenerator.getResultingHeaps(StateSpace stateSpace)

Uses of HeapConfiguration in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
protected Collection<HeapConfiguration>	CounterexampleMethodExecutor.getPostconditions(ProgramState callingState, ScopedHeap scopedHeap)

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

Modifier and Type	Method and Description
ContractMatch	CounterexampleContractCollection.matchContract(HeapConfiguration precondition)

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

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

Modifier and Type	Class and Description
class	HeapConfigurationPair A HeapConfigurationPair actually consists of two heap configurations that are materialized together.

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

Modifier and Type	Method and Description
HeapConfiguration	HeapConfigurationPairBuilder.build()
HeapConfiguration	HeapConfigurationPair.clone()
HeapConfiguration	HeapConfigurationPair.getEmpty()
HeapConfiguration	HeapConfigurationPair.getPairedHeapConfiguration()

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

Modifier and Type	Method and Description
AbstractMatchingChecker	HeapConfigurationPair.getEmbeddingsOf(HeapConfiguration pattern, MorphismOptions options)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceNonterminalEdge(int ntEdge, HeapConfiguration replacement)

Constructors in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair with parameters of type HeapConfiguration

Constructor and Description
HeapConfigurationPair(HeapConfiguration actual, HeapConfiguration partner)

Uses of HeapConfiguration in de.rwth.i2.attestor.phases.parser

Methods in de.rwth.i2.attestor.phases.parser that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
List<HeapConfiguration>	ParseInputPhase.getInputs()

Uses of HeapConfiguration in de.rwth.i2.attestor.phases.preprocessing

Methods in de.rwth.i2.attestor.phases.preprocessing that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
List<HeapConfiguration>	MarkingGenerationPhase.getInputs()
List<HeapConfiguration>	GrammarRefinementPhase.getInputs()

Uses of HeapConfiguration in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl

Methods in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	InternalContract.getPrecondition()

Methods in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
Collection<HeapConfiguration>	InternalContract.getPostconditions()

Methods in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl with parameters of type HeapConfiguration

Modifier and Type	Method and Description
ContractMatch	InternalPreconditionMatchingStrategy.match(Contract contract, HeapConfiguration heapInScope)
ContractMatch	InternalContractCollection.matchContract(HeapConfiguration precondition)

Method parameters in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl with type arguments of type HeapConfiguration

Modifier and Type	Method and Description
void	InternalContract.addPostconditions(Collection<HeapConfiguration> postconditions)

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl with parameters of type HeapConfiguration

Constructor and Description
InternalContract(HeapConfiguration precondition)
InternalContract(HeapConfiguration precondition, Collection<HeapConfiguration> postconditions)

Constructor parameters in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl with type arguments of type HeapConfiguration

Constructor and Description
InternalContract(HeapConfiguration precondition, Collection<HeapConfiguration> postconditions)

Uses of HeapConfiguration in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes

Methods in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	InternalScopedHeap.getHeapInScope()
HeapConfiguration	InternalScopedHeap.getHeapOutsideScope()
HeapConfiguration	InternalScopedHeap.reorder(int[] externalReordering)

Methods in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
Collection<HeapConfiguration>	InternalScopedHeap.merge(ContractMatch contractMatch)

Methods in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes with parameters of type HeapConfiguration

Modifier and Type	Method and Description
ScopedHeap	DefaultScopeExtractor.extractScope(HeapConfiguration heapConfiguration)

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes with parameters of type HeapConfiguration

Constructor and Description
InternalScopedHeap(HeapConfiguration heapInScope, HeapConfiguration heapOutsideScope, int edgeToMergeScopes)

Uses of HeapConfiguration in de.rwth.i2.attestor.phases.symbolicExecution.recursive

Methods in de.rwth.i2.attestor.phases.symbolicExecution.recursive with parameters of type HeapConfiguration

Modifier and Type	Method and Description
InternalProcedureCall	InternalProcedureRegistry.getProcedureCall(Method method, HeapConfiguration initialHeap)

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.recursive with parameters of type HeapConfiguration

Constructor and Description
InternalProcedureCall(Method method, HeapConfiguration precondition, StateSpaceGeneratorFactory factory, ProcedureRegistry registry)

Uses of HeapConfiguration in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis

Methods in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
protected Collection<HeapConfiguration>	AbstractInterproceduralMethodExecutor.getPostconditions(ProgramState callingState, ScopedHeap scopedHeap)

Methods in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis with parameters of type HeapConfiguration

Modifier and Type	Method and Description
ProcedureCall	ProcedureRegistry.getProcedureCall(Method method, HeapConfiguration initialHeap) Wraps the method and initialHeap in a new procedureCall

Uses of HeapConfiguration in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Methods in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	NoCanonicalizationStrategy.canonicalize(HeapConfiguration heapConfiguration)

Methods in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
Collection<HeapConfiguration>	NoMaterializationStrategy.materialize(HeapConfiguration heapConfiguration, ViolationPoints potentialViolationPoints)

Methods in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies with parameters of type HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	NoCanonicalizationStrategy.canonicalize(HeapConfiguration heapConfiguration)
Collection<HeapConfiguration>	NoMaterializationStrategy.materialize(HeapConfiguration heapConfiguration, ViolationPoints potentialViolationPoints)

Uses of HeapConfiguration in de.rwth.i2.attestor.phases.transformers

Methods in de.rwth.i2.attestor.phases.transformers that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
List<HeapConfiguration>	InputTransformer.getInputs()

Uses of HeapConfiguration in de.rwth.i2.attestor.procedures

Methods in de.rwth.i2.attestor.procedures that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	ScopedHeap.getHeapInScope()
HeapConfiguration	ScopedHeap.getHeapOutsideScope()
HeapConfiguration	NoContractMatch.getPrecondition()
HeapConfiguration	ContractMatch.getPrecondition()
HeapConfiguration	Contract.getPrecondition()

Methods in de.rwth.i2.attestor.procedures that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
Collection<HeapConfiguration>	NoContractMatch.getPostconditions()
Collection<HeapConfiguration>	ContractMatch.getPostconditions()
Collection<HeapConfiguration>	Contract.getPostconditions()
protected abstract Collection<HeapConfiguration>	AbstractMethodExecutor.getPostconditions(ProgramState callingState, ScopedHeap scopedHeap)
Collection<HeapConfiguration>	ScopedHeap.merge(ContractMatch contractMatch)

Methods in de.rwth.i2.attestor.procedures with parameters of type HeapConfiguration

Modifier and Type	Method and Description
ScopedHeap	ScopeExtractor.extractScope(HeapConfiguration heapConfiguration)
ContractMatch	PreconditionMatchingStrategy.match(Contract contract, HeapConfiguration heapInScope)
ContractMatch	ContractCollection.matchContract(HeapConfiguration precondition)

Method parameters in de.rwth.i2.attestor.procedures with type arguments of type HeapConfiguration

Modifier and Type	Method and Description
void	Contract.addPostconditions(Collection<HeapConfiguration> postconditions)
protected Collection<ProgramState>	AbstractMethodExecutor.createResultStates(ProgramState input, Collection<HeapConfiguration> postconditions)

Uses of HeapConfiguration in de.rwth.i2.attestor.programState

Fields in de.rwth.i2.attestor.programState declared as HeapConfiguration

Modifier and Type	Field and Description
protected HeapConfiguration	GeneralProgramState.heap The heap configuration that determines the shape of the heap and the assignment of program variables underlying this program state.

Methods in de.rwth.i2.attestor.programState that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	GeneralProgramState.getHeap()

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

Modifier and Type	Method and Description
ProgramState	GeneralProgramState.shallowCopyWithUpdateHeap(HeapConfiguration newHeap)

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

Constructor and Description
GeneralProgramState(HeapConfiguration heap) Initializes a state with the initial program location 0.

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

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

Constructor and Description
DefaultProgramState(HeapConfiguration heap) Initializes a program state.

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

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

Modifier and Type	Method and Description
static boolean	IndexedHeapConfigurationUtil.hasInstantiatiatedIndices(HeapConfiguration hc)

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

Constructor and Description
IndexedState(HeapConfiguration heap)

Uses of HeapConfiguration in de.rwth.i2.attestor.programState.indexedState.index

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

Modifier and Type	Method and Description
void	IndexCanonizationStrategyImpl.canonizeIndex(HeapConfiguration heapConfiguration) Abstracts the indices of all nonterminals in heapConfiguration simultaneously and as far as possible.
void	IndexCanonizationStrategy.canonizeIndex(HeapConfiguration hc)
void	IndexMaterializationStrategy.materializeIndices(HeapConfiguration heapConfiguration, IndexSymbol originalIndexSymbol, IndexSymbol desiredIndexSymbol)
void	DefaultIndexMaterialization.materializeIndices(HeapConfiguration heapConfiguration, IndexSymbol originalIndexSymbol, IndexSymbol desiredIndexSymbol)

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

Methods in de.rwth.i2.attestor.refinement that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
List<HeapConfiguration>	HeapAutomaton.getPossibleHeapRewritings(HeapConfiguration heapConfiguration)

Methods in de.rwth.i2.attestor.refinement with parameters of type HeapConfiguration

Modifier and Type	Method and Description
List<HeapConfiguration>	HeapAutomaton.getPossibleHeapRewritings(HeapConfiguration heapConfiguration)
Set<String>	StatelessHeapAutomaton.transition(HeapConfiguration heapConfiguration) Perform a transition on the given graph and compute the corresponding atomic propositions
HeapAutomatonState	HeapAutomaton.transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

Uses of HeapConfiguration in de.rwth.i2.attestor.refinement.balanced

Methods in de.rwth.i2.attestor.refinement.balanced with parameters of type HeapConfiguration

Modifier and Type	Method and Description
Set<String>	BalancednessAutomaton.transition(HeapConfiguration heapConfiguration)
Set<String>	ListLengthAutomaton.transition(HeapConfiguration heapConfiguration)

Uses of HeapConfiguration in de.rwth.i2.attestor.refinement.grammarRefinement

Methods in de.rwth.i2.attestor.refinement.grammarRefinement that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
List<HeapConfiguration>	InitialHeapConfigurationRefinement.getRefinements()

Constructors in de.rwth.i2.attestor.refinement.grammarRefinement with parameters of type HeapConfiguration

Constructor and Description
InitialHeapConfigurationRefinement(HeapConfiguration initialHeapConf, Grammar grammar, HeapAutomaton heapAutomaton)

Uses of HeapConfiguration in de.rwth.i2.attestor.refinement.identicalNeighbourhood

Methods in de.rwth.i2.attestor.refinement.identicalNeighbourhood with parameters of type HeapConfiguration

Modifier and Type	Method and Description
Set<String>	NeighbourhoodAutomaton.transition(HeapConfiguration heapConfiguration)

Uses of HeapConfiguration in de.rwth.i2.attestor.refinement.languageInclusion

Methods in de.rwth.i2.attestor.refinement.languageInclusion with parameters of type HeapConfiguration

Modifier and Type	Method and Description
Set<String>	LanguageInclusionAutomaton.transition(HeapConfiguration heapConfiguration)

Uses of HeapConfiguration in de.rwth.i2.attestor.refinement.pointsTo

Methods in de.rwth.i2.attestor.refinement.pointsTo that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
List<HeapConfiguration>	PointsToHeapAutomaton.getPossibleHeapRewritings(HeapConfiguration heapConfiguration)

Methods in de.rwth.i2.attestor.refinement.pointsTo with parameters of type HeapConfiguration

Modifier and Type	Method and Description
List<HeapConfiguration>	PointsToHeapAutomaton.getPossibleHeapRewritings(HeapConfiguration heapConfiguration)
HeapAutomatonState	PointsToHeapAutomaton.transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

Uses of HeapConfiguration in de.rwth.i2.attestor.refinement.product

Methods in de.rwth.i2.attestor.refinement.product that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
List<HeapConfiguration>	ProductHeapAutomaton.getPossibleHeapRewritings(HeapConfiguration heapConfiguration)

Methods in de.rwth.i2.attestor.refinement.product with parameters of type HeapConfiguration

Modifier and Type	Method and Description
List<HeapConfiguration>	ProductHeapAutomaton.getPossibleHeapRewritings(HeapConfiguration heapConfiguration)
HeapAutomatonState	ProductHeapAutomaton.transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

Uses of HeapConfiguration in de.rwth.i2.attestor.refinement.reachability

Methods in de.rwth.i2.attestor.refinement.reachability that return types with arguments of type HeapConfiguration

Modifier and Type	Method and Description
List<HeapConfiguration>	ReachabilityHeapAutomaton.getPossibleHeapRewritings(HeapConfiguration heapConfiguration)

Methods in de.rwth.i2.attestor.refinement.reachability with parameters of type HeapConfiguration

Modifier and Type	Method and Description
List<HeapConfiguration>	ReachabilityHeapAutomaton.getPossibleHeapRewritings(HeapConfiguration heapConfiguration)
HeapAutomatonState	ReachabilityHeapAutomaton.transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

Uses of HeapConfiguration in de.rwth.i2.attestor.refinement.variableRelation

Methods in de.rwth.i2.attestor.refinement.variableRelation with parameters of type HeapConfiguration

Modifier and Type	Method and Description
Set<String>	VariableRelationsAutomaton.transition(HeapConfiguration heapConfiguration)

Uses of HeapConfiguration in de.rwth.i2.attestor.refinement.visited

Methods in de.rwth.i2.attestor.refinement.visited with parameters of type HeapConfiguration

Modifier and Type	Method and Description
Set<String>	StatelessVisitedByAutomaton.transition(HeapConfiguration heapConfiguration)
Set<String>	StatelessVisitedAutomaton.transition(HeapConfiguration heapConfiguration)

Uses of HeapConfiguration in de.rwth.i2.attestor.seplog

Methods in de.rwth.i2.attestor.seplog that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	HeapConfigurationExtractor.getHeapConfiguration()
HeapConfiguration	SymbolicHeapParser.parseFromFile(String filename, HeapConfigurationRenaming renaming)

Uses of HeapConfiguration in de.rwth.i2.attestor.stateSpaceGeneration

Methods in de.rwth.i2.attestor.stateSpaceGeneration that return HeapConfiguration

Modifier and Type	Method and Description
HeapConfiguration	ProgramState.getHeap()

Methods in de.rwth.i2.attestor.stateSpaceGeneration with parameters of type HeapConfiguration

Modifier and Type	Method and Description
ProgramState	ProgramState.shallowCopyWithUpdateHeap(HeapConfiguration newHeap) Creates a shallow copy in which the underlying heap is set to newHeap without creating a copy first.