de.uka.ilkd.key.proof_references.analyst

Interfaces

• IProofReferencesAnalyst

Classes

• ClassAxiomAndInvariantProofReferencesAnalyst
• ContractProofReferencesAnalyst
• MethodBodyExpandProofReferencesAnalyst
• MethodCallProofReferencesAnalyst
• ProgramVariableReferencesAnalyst