de.uka.ilkd.key.proof.mgt

Interface ComplexRuleJustification

All Superinterfaces:

RuleJustification

All Known Implementing Classes:

ComplexRuleJustificationBySpec

public interface ComplexRuleJustification
extends RuleJustification

Method Summary

Modifier and Type	Method and Description
RuleJustification	getSpecificJustification(RuleApp app, TermServices services)

Methods inherited from interface de.uka.ilkd.key.proof.mgt.RuleJustification

isAxiomJustification

Method Detail

getSpecificJustification

RuleJustification getSpecificJustification(RuleApp app,
                                           TermServices services)