public interface ComplexRuleJustification extends RuleJustification
Modifier and Type | Method and Description |
---|---|
RuleJustification |
getSpecificJustification(RuleApp app,
TermServices services) |
isAxiomJustification
RuleJustification getSpecificJustification(RuleApp app, TermServices services)
Copyright © 2003-2019 The KeY-Project.