Uses of Class
de.rwth.i2.attestor.main.AbstractPhase

Packages that use AbstractPhase

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

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

Method parameters in de.rwth.i2.attestor.io with type arguments of type AbstractPhase

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

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

Methods in de.rwth.i2.attestor.main that return types with arguments of type AbstractPhase

Modifier and Type	Method and Description
List<AbstractPhase>	PhaseRegistry.getPhases()

Methods in de.rwth.i2.attestor.main with parameters of type AbstractPhase

Modifier and Type	Method and Description
PhaseRegistry	PhaseRegistry.addPhase(AbstractPhase phase)

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

Subclasses of AbstractPhase in de.rwth.i2.attestor.phases.counterexamples

Modifier and Type	Class and Description
class	CounterexampleGenerationPhase

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

Subclasses of AbstractPhase in de.rwth.i2.attestor.phases.modelChecking

Modifier and Type	Class and Description
class	ModelCheckingPhase

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

Subclasses of AbstractPhase in de.rwth.i2.attestor.phases.parser

Modifier and Type	Class and Description
class	CLIPhase
class	ParseContractsPhase
class	ParseGrammarPhase
class	ParseInputPhase
class	ParseProgramPhase

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

Subclasses of AbstractPhase in de.rwth.i2.attestor.phases.preprocessing

Modifier and Type	Class and Description
class	AbstractionPreprocessingPhase
class	GrammarRefinementPhase
class	MarkingGenerationPhase

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

Subclasses of AbstractPhase in de.rwth.i2.attestor.phases.report

Modifier and Type	Class and Description
class	ReportGenerationPhase

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

Subclasses of AbstractPhase in de.rwth.i2.attestor.phases.symbolicExecution.recursive

Modifier and Type	Class and Description
class	RecursiveStateSpaceGenerationPhase