de.uka.ilkd.key.proof.mgt

Class ComplexRuleJustificationBySpec

java.lang.Object

de.uka.ilkd.key.proof.mgt.ComplexRuleJustificationBySpec

All Implemented Interfaces:

ComplexRuleJustification, RuleJustification

public class ComplexRuleJustificationBySpec
extends java.lang.Object
implements ComplexRuleJustification

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<RuleApp,RuleJustificationBySpec>	app2Just

Constructor Summary

Constructors

Constructor and Description
ComplexRuleJustificationBySpec()

Method Summary

Modifier and Type	Method and Description
void	add(RuleApp ruleApp, RuleJustificationBySpec just)
RuleJustification	getSpecificJustification(RuleApp app, TermServices services)
boolean	isAxiomJustification()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

app2Just

private java.util.Map<RuleApp,RuleJustificationBySpec> app2Just

Constructor Detail

ComplexRuleJustificationBySpec

public ComplexRuleJustificationBySpec()

Method Detail

isAxiomJustification

public boolean isAxiomJustification()

Specified by:

isAxiomJustification in interface RuleJustification

getSpecificJustification

public RuleJustification getSpecificJustification(RuleApp app,
                                                  TermServices services)

Specified by:

getSpecificJustification in interface ComplexRuleJustification

add

public void add(RuleApp ruleApp,
                RuleJustificationBySpec just)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object