de.uka.ilkd.key.proof.mgt

Class LemmaJustification

java.lang.Object

de.uka.ilkd.key.proof.mgt.LemmaJustification

All Implemented Interfaces:

RuleJustification

public class LemmaJustification
extends java.lang.Object
implements RuleJustification

RuleJustification for taclets, that can be proven from other taclets.

Field Summary

Fields

Modifier and Type	Field and Description
static LemmaJustification	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	LemmaJustification()

Method Summary

Modifier and Type	Method and Description
boolean	isAxiomJustification()

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final LemmaJustification INSTANCE

Constructor Detail

LemmaJustification

private LemmaJustification()

Method Detail

isAxiomJustification

public boolean isAxiomJustification()

Specified by:

isAxiomJustification in interface RuleJustification