001    /*
002     * Created on Sep 15, 2003 by Ravi Mohan
003     *  
004     */
005    package aima.logic.propositional.parsing.ast;
006    
007    import aima.logic.propositional.parsing.PLVisitor;
008    
009    /**
010     * @author Ravi Mohan
011     * 
012     */
013    
014    public class TrueSentence extends AtomicSentence {
015    
016            @Override
017            public String toString() {
018                    return "TRUE";
019            }
020    
021            @Override
022            public Object accept(PLVisitor plv, Object arg) {
023                    return plv.visitTrueSentence(this, arg);
024            }
025    }