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

Packages that use Scene

Package	Description
de.rwth.i2.attestor.io
de.rwth.i2.attestor.main	Loads and executes a program analysis task.
de.rwth.i2.attestor.main.scene
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

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

Methods in de.rwth.i2.attestor.io with parameters of type Scene

Modifier and Type	Method and Description
void	SummaryExporter.exportForReport(Scene scene, StateSpace spatespace, ModelCheckingPhase mcPhase, ModelCheckingSettings mcSetting, CLIPhase cliPhase, List<AbstractPhase> phases)

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.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
CLIPhase(Scene scene, String[] args)
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)