jtp.proof
Class AndIntroductionInference

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

All Implemented Interfaces:

Serializable

public class AndIntroductionInference

extends Inference

See Also:

Serialized Form

Constructor Summary

AndIntroductionInference(List conj)

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

AndIntroductionInference

public AndIntroductionInference(List conj)

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

printInferenceName

public String printInferenceName()

Overrides:

printInferenceName in class Inference