org.openqed.struct.formula
Class FormulaNode

java.lang.Object
  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)