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

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

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.main.scene
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair
de.rwth.i2.attestor.programState
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements	This package containsSubsumingState the semantics of jimple statements on jimpleExecutables.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values	This package containsSubsumingState the semantic of several JimpleValues on JimpleExecutables.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr	This package consists of values (expressions) of type boolean booleans themselves (true,false) are modelled by IntConstants in accordance to soot.
de.rwth.i2.attestor.semantics.jimpleSemantics.translation	The classes in this package handle the translation of Jimple elements such as Statements, Values and Types to semantics objects of our symbolic execution.
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.types used by de.rwth.i2.attestor.graph.heap

Class and Description
Type General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

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

Class and Description
Type General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

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

Class and Description
Type General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

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

Class and Description
Type General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

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

Class and Description
Type General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

Classes in de.rwth.i2.attestor.types used by de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Class and Description
Type General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

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

Class and Description
Type General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

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

Class and Description
Type General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

Classes in de.rwth.i2.attestor.types used by de.rwth.i2.attestor.semantics.jimpleSemantics.translation

Class and Description
Type General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

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

Class and Description
Type General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.

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

Class and Description
Type General interface for possible classes of an object modeled by a node in a HeapConfiguration or a Value.