RuleJustificationInfo (KeY API Documentation)

public class RuleJustificationInfo
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`private java.util.Map<RuleKey,RuleJustification>`	`rule2justif`

Constructors
Constructor and Description
`RuleJustificationInfo()`

All Methods Instance Methods Concrete Methods
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)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

private java.util.Map<RuleKey,RuleJustification> rule2justif

Constructor Detail
- RuleJustificationInfo
```
public RuleJustificationInfo()
```

public void addJustification(Rule r,
                             RuleJustification j)

public RuleJustification getJustification(Rule r)

public RuleJustification getJustification(RuleApp r,
                                          TermServices services)

public void removeJustificationFor(Rule rule)

Class RuleJustificationInfo