jtp.proof
Class UIInference

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

All Implemented Interfaces:

Serializable

public class UIInference

extends Inference

See Also:

Serialized Form

Constructor Summary

UIInference(CNFSentence as, Map b)

Method Summary

CNFSentence	getInferenceConclusion()
List	getInferencePremises()
static String	getInferenceTypeID()
String	printInferenceName()

Methods inherited from class jtp.proof.Inference

toString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

UIInference

public UIInference(CNFSentence as,
                   Map b)

Method Detail

getInferenceTypeID

public static String getInferenceTypeID()

getInferencePremises

public List getInferencePremises()

getInferenceConclusion

public CNFSentence getInferenceConclusion()

printInferenceName

public String printInferenceName()

Overrides:

printInferenceName in class Inference