de.uka.ilkd.key.macros
Interfaces
FinishSymbolicExecutionWithSpecJoinsMacro.Predicate
ProofMacro
Classes
AbstractBlastingMacro
AbstractProofMacro
AbstractPropositionalExpansionMacro
AlternativeMacro
AutoPilotPrepareProofMacro
AutoPilotPrepareProofMacro.AutoPilotStrategy
DoWhileFinallyMacro
FilterStrategy
FinishSymbolicExecutionMacro
FinishSymbolicExecutionMacro.FilterSymbexStrategy
FinishSymbolicExecutionUntilJoinPointMacro
FinishSymbolicExecutionWithSpecJoinsMacro
FullAutoPilotProofMacro
FullAutoPilotWithJMLSpecJoinsProofMacro
FullPropositionalExpansionMacro
HeapSimplificationMacro
OneStepProofMacro
OneStepProofMacro.OneStepStrategy
PrepareInfFlowContractPreBranchesMacro
ProofMacro.ProgressBarListener
ProofMacroFinishedInfo
ProofMacroListener
PropositionalExpansionMacro
PropositionalExpansionWithSimplificationMacro
SemanticsBlastingMacro
SequentialOnLastGoalProofMacro
SequentialProofMacro
SkipMacro
StrategyProofMacro
TestGenMacro
TestGenMacro.TestGenStrategy
TryCloseMacro
TryCloseMacro.TryCloseProgressBarListener
UpdateSimplificationMacro
WellDefinednessMacro
WellDefinednessMacro.WellDefinednessStrategy