aima.logic.propositional.parsing.ast
Class TrueSentence

java.lang.Object
  aima.logic.propositional.parsing.ast.Sentence
      aima.logic.propositional.parsing.ast.AtomicSentence
          aima.logic.propositional.parsing.ast.TrueSentence

All Implemented Interfaces:

ParseTreeNode

public class TrueSentence
extends AtomicSentence

Constructor Summary

TrueSentence()

Method Summary

java.lang.Object	accept(PLVisitor plv, java.lang.Object arg)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TrueSentence

public TrueSentence()

Method Detail

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