de.uka.ilkd.key.informationflow.macros

Interfaces

• StartSideProofMacro

Classes

• AbstractFinishAuxiliaryComputationMacro
• AuxiliaryComputationAutoPilotMacro
• ExhaustiveProofMacro
• FinishAuxiliaryBlockComputationMacro
• FinishAuxiliaryComputationMacro
• FinishAuxiliaryLoopComputationMacro
• FinishAuxiliaryMethodComputationMacro
• FullInformationFlowAutoPilotMacro
• FullUseInformationFlowContractMacro
• SelfcompositionStateExpansionMacro
• StartAuxiliaryBlockComputationMacro
• StartAuxiliaryComputationMacro
• StartAuxiliaryLoopComputationMacro
• StartAuxiliaryMethodComputationMacro
• StateExpansionAndInfFlowContractApplicationMacro
• UseInformationFlowContractMacro