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

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

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
de.rwth.i2.attestor.programState.defaultState
de.rwth.i2.attestor.programState.indexedState
de.rwth.i2.attestor.refinement
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values	This package containsSubsumingState the semantic of several JimpleValues on JimpleExecutables.
de.rwth.i2.attestor.stateSpaceGeneration	A generic model of a state space and state space generation.
de.rwth.i2.attestor.types	Base type for all notions of types, i.e.

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

Class and Description
Nonterminal General interface for nonterminal symbols.

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

Class and Description
Nonterminal General interface for nonterminal symbols.

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

Class and Description
Nonterminal General interface for nonterminal symbols.

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

Class and Description
Nonterminal General interface for nonterminal symbols.

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

Class and Description
Nonterminal General interface for nonterminal symbols.

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

Class and Description
Nonterminal General interface for nonterminal symbols.

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

Class and Description
Nonterminal General interface for nonterminal symbols.

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

Class and Description
Nonterminal General interface for nonterminal symbols.

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

Class and Description
BasicNonterminal A simple standard implementation of nonterminal symbols.
Nonterminal General interface for nonterminal symbols.
SelectorLabel General Interface for labels of selector edges.

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

Class and Description
Nonterminal General interface for nonterminal symbols.
SelectorLabel General Interface for labels of selector edges.

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

Class and Description
Nonterminal General interface for nonterminal symbols.
SelectorLabel General Interface for labels of selector edges.

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

Class and Description
Nonterminal General interface for nonterminal symbols.

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

Class and Description
Nonterminal General interface for nonterminal symbols.
SelectorLabel General Interface for labels of selector edges.

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

Class and Description
Nonterminal General interface for nonterminal symbols.
SelectorLabel General Interface for labels of selector edges.

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

Class and Description
SelectorLabel General Interface for labels of selector edges.

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

Class and Description
Nonterminal General interface for nonterminal symbols.
SelectorLabel General Interface for labels of selector edges.

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

Class and Description
Nonterminal General interface for nonterminal symbols.
SelectorLabel General Interface for labels of selector edges.

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

Class and Description
Nonterminal General interface for nonterminal symbols.

Classes in de.rwth.i2.attestor.graph used by de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Class and Description
SelectorLabel General Interface for labels of selector edges.

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

Class and Description
SelectorLabel General Interface for labels of selector edges.

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

Class and Description
SelectorLabel General Interface for labels of selector edges.