Uses of Package
de.rwth.i2.attestor.graph.heap

Packages that use de.rwth.i2.attestor.graph.heap

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.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.grammar

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.grammar.canonicalization

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.grammar.canonicalization.defaultGrammar

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.
Matching A Matching models a mapping from one HeapConfiguration, called the pattern HeapConfiguration, to another HeapConfiguration, called the target HeapConfiguration.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.grammar.concretization

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.grammar.materialization.communication

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.grammar.materialization.indexedGrammar

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.grammar.materialization.strategies

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.grammar.materialization.util

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.grammar.util

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.graph.heap

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.
HeapConfigurationBuilder A HeapConfigurationBuilder allows to mutate a given HeapConfiguration.
Matching A Matching models a mapping from one HeapConfiguration, called the pattern HeapConfiguration, to another HeapConfiguration, called the target HeapConfiguration.
NonterminalEdgeBuilder

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.graph.heap.internal

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.
HeapConfigurationBuilder A HeapConfigurationBuilder allows to mutate a given HeapConfiguration.
Matching A Matching models a mapping from one HeapConfiguration, called the pattern HeapConfiguration, to another HeapConfiguration, called the target HeapConfiguration.
NonterminalEdgeBuilder

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.graph.heap.matching

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.
Matching A Matching models a mapping from one HeapConfiguration, called the pattern HeapConfiguration, to another HeapConfiguration, called the target HeapConfiguration.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.graph.util

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.
HeapConfigurationExporter A general method to export HeapConfigurations in a format that has to be specified by implementations.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.io.jsonExport.inputFormat

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.io.jsonImport

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.main.scene

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.markingGeneration

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.markingGeneration.neighbourhood

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.markingGeneration.visited

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.
HeapConfigurationBuilder A HeapConfigurationBuilder allows to mutate a given HeapConfiguration.
Matching A Matching models a mapping from one HeapConfiguration, called the pattern HeapConfiguration, to another HeapConfiguration, called the target HeapConfiguration.
NonterminalEdgeBuilder

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.phases.parser

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.phases.preprocessing

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.phases.symbolicExecution.recursive

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.phases.transformers

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.procedures

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.programState

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.programState.defaultState

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.programState.indexedState

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.programState.indexedState.index

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.refinement

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.refinement.balanced

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.refinement.grammarRefinement

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.refinement.identicalNeighbourhood

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.refinement.languageInclusion

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.refinement.pointsTo

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.refinement.product

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.refinement.reachability

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.refinement.variableRelation

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.refinement.visited

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.seplog

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.

Classes in de.rwth.i2.attestor.graph.heap used by de.rwth.i2.attestor.stateSpaceGeneration

Class and Description
HeapConfiguration A HeapConfiguration is a hypergraph in which each node corresponds to a location on the heap of a program, such as null or a reference to some object.