public class ComplexRuleJustificationBySpec extends java.lang.Object implements ComplexRuleJustification
Modifier and Type | Field and Description |
---|---|
private java.util.Map<RuleApp,RuleJustificationBySpec> |
app2Just |
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() |
private java.util.Map<RuleApp,RuleJustificationBySpec> app2Just
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