aima.logic.propositional.parsing.ast
Class BinarySentence

java.lang.Object
  aima.logic.propositional.parsing.ast.Sentence
      aima.logic.propositional.parsing.ast.ComplexSentence
          aima.logic.propositional.parsing.ast.BinarySentence

All Implemented Interfaces:

ParseTreeNode

public class BinarySentence
extends ComplexSentence

Constructor Summary

BinarySentence(java.lang.String operator, Sentence first, Sentence second)

Method Summary

java.lang.Object	accept(PLVisitor plv, java.lang.Object arg)
boolean	equals(java.lang.Object o)
boolean	firstTermIsAndSentence()
Sentence	getFirst()
java.lang.String	getOperator()
Sentence	getSecond()
int	hashCode()
boolean	isAndSentence()
boolean	isBiconditional()
boolean	isImplication()
boolean	isOrSentence()
boolean	secondTermIsAndSentence()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BinarySentence

public BinarySentence(java.lang.String operator,
                      Sentence first,
                      Sentence second)

Method Detail

getFirst

public Sentence getFirst()

getOperator

public java.lang.String getOperator()

getSecond

public Sentence getSecond()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public java.lang.Object accept(PLVisitor plv,
                               java.lang.Object arg)

Specified by:

accept in class Sentence

isOrSentence

public boolean isOrSentence()

isAndSentence

public boolean isAndSentence()

isImplication

public boolean isImplication()

isBiconditional

public boolean isBiconditional()

firstTermIsAndSentence

public boolean firstTermIsAndSentence()

secondTermIsAndSentence

public boolean secondTermIsAndSentence()