public class ComplexRuleJustificationBySpec extends java.lang.Object implements ComplexRuleJustification
Constructor and Description |
---|
ComplexRuleJustificationBySpec() |
Modifier and Type | Method and Description |
---|---|
void |
add(RuleApp ruleApp,
RuleJustificationBySpec just) |
RuleJustification |
getSpecificJustification(RuleApp app,
TermServices services) |
boolean |
isAxiomJustification() |
java.lang.String |
toString() |
public boolean isAxiomJustification()
isAxiomJustification
in interface RuleJustification
public RuleJustification getSpecificJustification(RuleApp app, TermServices services)
getSpecificJustification
in interface ComplexRuleJustification
public void add(RuleApp ruleApp, RuleJustificationBySpec just)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.