001    /*
002     * Created on Sep 20, 2004
003     *
004     */
005    package aima.logic.fol.parsing.ast;
006    
007    import java.util.List;
008    
009    import aima.logic.common.ParseTreeNode;
010    import aima.logic.fol.parsing.FOLVisitor;
011    
012    /**
013     * @author Ravi Mohan
014     * @author Ciaran O'Reilly
015     */
016    public interface FOLNode extends ParseTreeNode {
017            String getSymbolicName();
018    
019            boolean isCompound();
020    
021            List<? extends FOLNode> getArgs();
022    
023            Object accept(FOLVisitor v, Object arg);
024    
025            FOLNode copy();
026    }