jtp.proof
Class AxiomInference

java.lang.Object
  |
  +--jtp.proof.Inference
        |
        +--jtp.proof.AxiomInference

All Implemented Interfaces:

Serializable

public class AxiomInference

extends Inference

See Also:

Serialized Form

Field Summary

static AxiomInference

instance

Constructor Summary

AxiomInference()

Method Summary

static String	getInferenceTypeID()
String	toString(Proof prf)
String	toString(Proof prf, String prefix)

Methods inherited from class jtp.proof.Inference

printInferenceName

Methods inherited from class java.lang.Object

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

Field Detail

instance

public static final AxiomInference instance

Constructor Detail

AxiomInference

public AxiomInference()

Method Detail

getInferenceTypeID

public static String getInferenceTypeID()

toString

public String toString(Proof prf)

Overrides:

toString in class Inference

toString

public String toString(Proof prf,
                       String prefix)

Overrides:

toString in class Inference