Uses of Interface
de.rwth.i2.attestor.main.scene.Scene

Packages that use Scene

Package	Description
de.rwth.i2.attestor.main	Loads and executes a program analysis task.
de.rwth.i2.attestor.main.scene
de.rwth.i2.attestor.phases.commandLineInterface
de.rwth.i2.attestor.phases.counterexamples
de.rwth.i2.attestor.phases.modelChecking
de.rwth.i2.attestor.phases.parser
de.rwth.i2.attestor.phases.preprocessing
de.rwth.i2.attestor.phases.report
de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl
de.rwth.i2.attestor.phases.symbolicExecution.recursive
de.rwth.i2.attestor.seplog	The separation logic interface of Attestor.

Uses of Scene in de.rwth.i2.attestor.main

Constructors in de.rwth.i2.attestor.main with parameters of type Scene

Constructor and Description
AbstractPhase(Scene scene)

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

Classes in de.rwth.i2.attestor.main.scene that implement Scene

Modifier and Type	Class and Description
class	DefaultScene

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

Modifier and Type	Method and Description
Scene	SceneObject.scene()

Constructors in de.rwth.i2.attestor.main.scene with parameters of type Scene

Constructor and Description
SceneObject(Scene scene)

Uses of Scene in de.rwth.i2.attestor.phases.commandLineInterface

Constructors in de.rwth.i2.attestor.phases.commandLineInterface with parameters of type Scene

Constructor and Description
CommandLinePhase(Scene scene, String[] args)

Uses of Scene in de.rwth.i2.attestor.phases.counterexamples

Constructors in de.rwth.i2.attestor.phases.counterexamples with parameters of type Scene

Constructor and Description
CounterexampleGenerationPhase(Scene scene)

Uses of Scene in de.rwth.i2.attestor.phases.modelChecking

Constructors in de.rwth.i2.attestor.phases.modelChecking with parameters of type Scene

Constructor and Description
ModelCheckingPhase(Scene scene)

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

Constructors in de.rwth.i2.attestor.phases.parser with parameters of type Scene

Constructor and Description
ParseContractsPhase(Scene scene)
ParseGrammarPhase(Scene scene)
ParseInputPhase(Scene scene)
ParseProgramPhase(Scene scene)

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

Constructors in de.rwth.i2.attestor.phases.preprocessing with parameters of type Scene

Constructor and Description
AbstractionPreprocessingPhase(Scene scene)
GrammarRefinementPhase(Scene scene)
MarkingGenerationPhase(Scene scene)

Uses of Scene in de.rwth.i2.attestor.phases.report

Constructors in de.rwth.i2.attestor.phases.report with parameters of type Scene

Constructor and Description
ReportGenerationPhase(PhaseRegistry registry, Scene scene)

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

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

Constructor and Description
StateSpaceGeneratorFactory(Scene scene)

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

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

Constructor and Description
RecursiveStateSpaceGenerationPhase(Scene scene)

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

Constructors in de.rwth.i2.attestor.seplog with parameters of type Scene

Constructor and Description
HeapConfigurationExtractor(Scene scene, VariableUnification variableUnification, HeapConfigurationRenaming renaming)