jtp.proof
Class ModusPonensInference

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

All Implemented Interfaces:

Serializable

public class ModusPonensInference

extends Inference

See Also:

Serialized Form

Field Summary

static ModusPonensInference

instance

Constructor Summary

ModusPonensInference()

Method Summary

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

Methods inherited from class jtp.proof.Inference

toString

Methods inherited from class java.lang.Object

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

Field Detail

instance

public static final ModusPonensInference instance

Constructor Detail

ModusPonensInference

public ModusPonensInference()

Method Detail

getInferenceTypeID

public static String getInferenceTypeID()

toString

public String toString(Proof prf,
                       String prefix)

Overrides:

toString in class Inference

printInferenceName

public String printInferenceName()

Overrides:

printInferenceName in class Inference