org.openqed.struct.formula
Class FormulaNode

java.lang.Object
  extended by org.openqed.struct.formula.FormulaNode
All Implemented Interfaces:
java.lang.Iterable<FormulaNode>
Direct Known Subclasses:
Formula, Term

public abstract class FormulaNode
extends java.lang.Object
implements java.lang.Iterable<FormulaNode>


Nested Class Summary
static class FormulaNode.FormulaNodeType
           
 
Constructor Summary
FormulaNode()
           
 
Method Summary
 boolean equals(java.lang.Object object)
           
abstract  FormulaNode getChild(int childIndex)
           
abstract  int getChildCount()
           
 java.util.Iterator<FormulaNode> getChildIterator()
           
abstract  FormulaNode.FormulaNodeType getFormulaNodeType()
           
 java.util.Iterator<FormulaNode> getRecursiveIterator()
           
 java.util.Iterator<FormulaNode> getSelectiveIterator(FormulaNodeVisitorRet<java.lang.Boolean> selector)
           
 int hashCode()
           
 java.util.Iterator<FormulaNode> iterator()
           
abstract  java.lang.String toString()
           
abstract  void visit(FormulaNodeVisitor v)
           
abstract
<A> void
visit(FormulaNodeVisitorArg<A> v, A a)
           
abstract
<R> R
visit(FormulaNodeVisitorRet<R> v)
           
abstract
<R,A> R
visit(FormulaNodeVisitorRetArg<R,A> v, A a)
           
 void visitChildren(FormulaNodeVisitor v)
           
<A> void
visitChildren(FormulaNodeVisitorArg<A> v, A a)
           
<R> java.util.List<R>
visitChildren(FormulaNodeVisitorRet<R> v)
           
<R,A> java.util.List<R>
visitChildren(FormulaNodeVisitorRetArg<R,A> v, A a)
           
 void visitRecursive(FormulaNodeVisitor v)
           
<A> void
visitRecursive(FormulaNodeVisitorArg<A> v, A a)
           
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

FormulaNode

public FormulaNode()
Method Detail

equals

public boolean equals(java.lang.Object object)
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

toString

public abstract java.lang.String toString()
Overrides:
toString in class java.lang.Object

iterator

public final java.util.Iterator<FormulaNode> iterator()
Specified by:
iterator in interface java.lang.Iterable<FormulaNode>

getRecursiveIterator

public final java.util.Iterator<FormulaNode> getRecursiveIterator()

getChildIterator

public final java.util.Iterator<FormulaNode> getChildIterator()

getSelectiveIterator

public final java.util.Iterator<FormulaNode> getSelectiveIterator(FormulaNodeVisitorRet<java.lang.Boolean> selector)

getChildCount

public abstract int getChildCount()

getChild

public abstract FormulaNode getChild(int childIndex)

getFormulaNodeType

public abstract FormulaNode.FormulaNodeType getFormulaNodeType()

visit

public abstract void visit(FormulaNodeVisitor v)

visit

public abstract <A> void visit(FormulaNodeVisitorArg<A> v,
                               A a)

visit

public abstract <R> R visit(FormulaNodeVisitorRet<R> v)

visit

public abstract <R,A> R visit(FormulaNodeVisitorRetArg<R,A> v,
                              A a)

visitRecursive

public final void visitRecursive(FormulaNodeVisitor v)

visitRecursive

public final <A> void visitRecursive(FormulaNodeVisitorArg<A> v,
                                     A a)

visitChildren

public final void visitChildren(FormulaNodeVisitor v)

visitChildren

public final <A> void visitChildren(FormulaNodeVisitorArg<A> v,
                                    A a)

visitChildren

public final <R> java.util.List<R> visitChildren(FormulaNodeVisitorRet<R> v)

visitChildren

public final <R,A> java.util.List<R> visitChildren(FormulaNodeVisitorRetArg<R,A> v,
                                                   A a)