public class ComplexRuleJustificationBySpec extends Object implements ComplexRuleJustification
Modifier and Type | Field and Description |
---|---|
private 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() |
String |
toString() |
private 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)