public class RuleJustificationInfo
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.Map<RuleKey,RuleJustification> |
rule2justif |
Constructor and Description |
---|
RuleJustificationInfo() |
Modifier and Type | Method and Description |
---|---|
void |
addJustification(Rule r,
RuleJustification j) |
RuleJustificationInfo |
copy() |
RuleJustification |
getJustification(Rule r) |
RuleJustification |
getJustification(RuleApp r,
TermServices services) |
void |
removeJustificationFor(Rule rule) |
private java.util.Map<RuleKey,RuleJustification> rule2justif
public void addJustification(Rule r, RuleJustification j)
public RuleJustification getJustification(Rule r)
public RuleJustification getJustification(RuleApp r, TermServices services)
public void removeJustificationFor(Rule rule)
public RuleJustificationInfo copy()