de.uka.ilkd.key.proof.mgt

Class RuleJustificationByAddRules

java.lang.Object

de.uka.ilkd.key.proof.mgt.RuleJustificationByAddRules

All Implemented Interfaces:

RuleJustification

public class RuleJustificationByAddRules
extends java.lang.Object
implements RuleJustification

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	isAxiom
private Node	node

Constructor Summary

Constructors

Constructor and Description
RuleJustificationByAddRules(Node node, boolean isAxiom)

Method Summary

Modifier and Type	Method and Description
boolean	isAxiomJustification()
RuleApp	motherTaclet()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

node

private final Node node

isAxiom

private final boolean isAxiom

Constructor Detail

RuleJustificationByAddRules

public RuleJustificationByAddRules(Node node,
                                   boolean isAxiom)

Method Detail

isAxiomJustification

public boolean isAxiomJustification()

Specified by:

isAxiomJustification in interface RuleJustification

motherTaclet

public RuleApp motherTaclet()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object