jtp.proof
Class Implication

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

public class Implication

extends Object

Constructor Summary

Implication(CNFSentence suc)

Implication(CNFSentence suc, List ants)

Method Summary

List	getAntecedents()
CNFSentence	getSuccedent()
String	toString()
String	toString(String prefix)

Methods inherited from class java.lang.Object

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

Constructor Detail

Implication

public Implication(CNFSentence suc)

Implication

public Implication(CNFSentence suc,
                   List ants)

Method Detail

getSuccedent

public CNFSentence getSuccedent()

getAntecedents

public List getAntecedents()

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(String prefix)