de.uka.ilkd.key.macros

Interfaces

• ProofMacro

Classes

• AbstractBlastingMacro
• AbstractProofMacro
• AbstractPropositionalExpansionMacro
• AlternativeMacro
• AutoMacro
• AutoMacro.AutoMacroFilterStrategy
• AutoPilotPrepareProofMacro
• AutoPilotPrepareProofMacro.AutoPilotStrategy
• DoWhileFinallyMacro
• FilterStrategy
• FinishSymbolicExecutionMacro
• FinishSymbolicExecutionMacro.FilterSymbexStrategy
• FinishSymbolicExecutionUntilMergePointMacro
• FullAutoPilotProofMacro
• FullPropositionalExpansionMacro
• HeapSimplificationMacro
• IntegerSimplificationMacro
• OneStepProofMacro
• OneStepProofMacro.OneStepStrategy
• PrepareInfFlowContractPreBranchesMacro
• ProofMacro.ProgressBarListener
• ProofMacroFinishedInfo
• ProofMacroListener
• PropositionalExpansionMacro
• PropositionalExpansionWithSimplificationMacro
• SemanticsBlastingMacro
• SequentialOnLastGoalProofMacro
• SequentialProofMacro
• SkipMacro
• SMTPreparationMacro
• StrategyProofMacro
• TestGenMacro
• TestGenMacro.TestGenStrategy
• TryCloseMacro
• TryCloseMacro.TryCloseProgressBarListener
• UpdateSimplificationMacro
• WellDefinednessMacro
• WellDefinednessMacro.WellDefinednessStrategy