jtp.proof
Class Inference

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

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

AndIntroductionInference, AxiomInference, ModusPonensInference, UIInference

public abstract class Inference

extends Object

implements Serializable

See Also:

Serialized Form

Constructor Summary

Inference()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Inference

public Inference()

Method Detail

getInferenceTypeID

public static String getInferenceTypeID()

toString

public String toString(Proof prf)

toString

public String toString(Proof prf,
                       String prefix)

printInferenceName

public String printInferenceName()