ComplexRuleJustificationBySpec (KeY API Documentation)

public class ComplexRuleJustificationBySpec
extends Object
implements ComplexRuleJustification

Fields
Modifier and Type	Field and Description
`private Map<RuleApp,RuleJustificationBySpec>`	`app2Just`

Constructors
Constructor and Description
`ComplexRuleJustificationBySpec()`

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

Constructor Detail
- ComplexRuleJustificationBySpec
```
public ComplexRuleJustificationBySpec()
```

public RuleJustification getSpecificJustification(RuleApp app,
                                                  TermServices services)

Specified by:: getSpecificJustification in interface ComplexRuleJustification

public void add(RuleApp ruleApp,
                RuleJustificationBySpec just)

Class ComplexRuleJustificationBySpec