de.uka.ilkd.key.proof.mgt

Class AxiomJustification

java.lang.Object

de.uka.ilkd.key.proof.mgt.AxiomJustification

All Implemented Interfaces:

RuleJustification

public class AxiomJustification
extends Object
implements RuleJustification

Field Summary

Fields

Modifier and Type	Field and Description
static AxiomJustification	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	AxiomJustification()

Method Summary

Modifier and Type	Method and Description
boolean	isAxiomJustification()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final AxiomJustification INSTANCE

Constructor Detail

AxiomJustification

private AxiomJustification()

Method Detail

toString

public String toString()

Overrides:

toString in class Object

isAxiomJustification

public boolean isAxiomJustification()

Specified by:

isAxiomJustification in interface RuleJustification