001    /*
002     * Created on Sep 15, 2003 by Ravi Mohan
003     *  
004     */
005    package aima.logic.propositional.parsing;
006    
007    import aima.logic.common.Visitor;
008    import aima.logic.propositional.parsing.ast.BinarySentence;
009    import aima.logic.propositional.parsing.ast.FalseSentence;
010    import aima.logic.propositional.parsing.ast.MultiSentence;
011    import aima.logic.propositional.parsing.ast.Symbol;
012    import aima.logic.propositional.parsing.ast.TrueSentence;
013    import aima.logic.propositional.parsing.ast.UnarySentence;
014    
015    /**
016     * @author Ravi Mohan
017     * 
018     */
019    
020    public interface PLVisitor extends Visitor {
021            public Object visitSymbol(Symbol s, Object arg);
022    
023            public Object visitTrueSentence(TrueSentence ts, Object arg);
024    
025            public Object visitFalseSentence(FalseSentence fs, Object arg);
026    
027            public Object visitNotSentence(UnarySentence fs, Object arg);
028    
029            public Object visitBinarySentence(BinarySentence fs, Object arg);
030    
031            public Object visitMultiSentence(MultiSentence fs, Object arg);
032    }