org.openqed.struct.formula
Class BinaryFormula

java.lang.Object
  org.openqed.struct.formula.FormulaNode
      org.openqed.struct.formula.Formula
          org.openqed.struct.formula.RootFormula
              org.openqed.struct.formula.FofFormula
                  org.openqed.struct.formula.BinaryFormula

All Implemented Interfaces:

java.lang.Iterable<FormulaNode>

public class BinaryFormula
extends FofFormula

Nested Class Summary

Nested classes/interfaces inherited from class org.openqed.struct.formula.FormulaNode

FormulaNode.FormulaNodeType

Constructor Summary

BinaryFormula(BinaryOperator binaryOperator, FofFormula leftSubFormula, FofFormula rightSubFormula)

Method Summary

boolean	equals(java.lang.Object object)
FormulaNode	getChild(int childIndex)
int	getChildCount()
FormulaNode.FormulaNodeType	getFormulaNodeType()
FofFormula	getLeftSubFormula()
BinaryOperator	getOperator()
java.lang.String	getOperatorName()
FofFormula	getRightSubFormula()
int	hashCode()
boolean	isConjunction()
boolean	isConverseImplication()
boolean	isDisjunction()
boolean	isEquivalence()
boolean	isImplication()
boolean	isNegatedConjunction()
boolean	isNegatedConverseImplication()
boolean	isNegatedDisjunction()
boolean	isNegatedEquivalence()
boolean	isNegatedImplication()
java.lang.String	toString()
void	visit(FormulaNodeVisitor v)
<A> void	visit(FormulaNodeVisitorArg<A> v, A a)
<R> R	visit(FormulaNodeVisitorRet<R> v)
<R,A> R	visit(FormulaNodeVisitorRetArg<R,A> v, A a)

Methods inherited from class org.openqed.struct.formula.FormulaNode

getChildIterator, getRecursiveIterator, getSelectiveIterator, iterator, visitChildren, visitChildren, visitChildren, visitChildren, visitRecursive, visitRecursive

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BinaryFormula

public BinaryFormula(BinaryOperator binaryOperator,
                     FofFormula leftSubFormula,
                     FofFormula rightSubFormula)

Method Detail

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class FormulaNode

hashCode

public int hashCode()

Overrides:

hashCode in class FormulaNode

toString

public java.lang.String toString()

Specified by:

toString in class FormulaNode

getChildCount

public final int getChildCount()

Specified by:

getChildCount in class FormulaNode

getChild

public final FormulaNode getChild(int childIndex)

Specified by:

getChild in class FormulaNode

getFormulaNodeType

public FormulaNode.FormulaNodeType getFormulaNodeType()

Specified by:

getFormulaNodeType in class FormulaNode

visit

public final void visit(FormulaNodeVisitor v)

Specified by:

visit in class FormulaNode

visit

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

Specified by:

visit in class FormulaNode

visit

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

Specified by:

visit in class FormulaNode

visit

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

Specified by:

visit in class FormulaNode

getOperator

public BinaryOperator getOperator()

getLeftSubFormula

public FofFormula getLeftSubFormula()

getRightSubFormula

public FofFormula getRightSubFormula()

getOperatorName

public java.lang.String getOperatorName()

isNegatedDisjunction

public boolean isNegatedDisjunction()

isNegatedConverseImplication

public boolean isNegatedConverseImplication()

isNegatedImplication

public boolean isNegatedImplication()

isNegatedEquivalence

public boolean isNegatedEquivalence()

isNegatedConjunction

public boolean isNegatedConjunction()

isConjunction

public boolean isConjunction()

isEquivalence

public boolean isEquivalence()

isImplication

public boolean isImplication()

isConverseImplication

public boolean isConverseImplication()

isDisjunction

public boolean isDisjunction()