public class RuleJustificationInfo
extends java.lang.Object
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) |
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()
Copyright © 2003-2019 The KeY-Project.