org.openqed.struct.formula
Class Literal

java.lang.Object
  org.openqed.struct.formula.FormulaNode
      org.openqed.struct.formula.Formula
          org.openqed.struct.formula.Literal

All Implemented Interfaces:

java.lang.Iterable<FormulaNode>, UnaryFormula

public class Literal
extends Formula
implements UnaryFormula

Nested Class Summary

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

FormulaNode.FormulaNodeType

Constructor Summary

Literal(UnaryOperator unaryOperator, AtomicFormula subFormula)

Method Summary

boolean	equals(java.lang.Object object)
FormulaNode	getChild(int childIndex)
int	getChildCount()
FormulaNode.FormulaNodeType	getFormulaNodeType()
UnaryOperator	getOperator()
java.lang.String	getOperatorName()
AtomicFormula	getSubFormula()
int	hashCode()
boolean	isIdentity()
boolean	isNegation()
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

Literal

public Literal(UnaryOperator unaryOperator,
               AtomicFormula subFormula)

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 UnaryOperator getOperator()

Specified by:

getOperator in interface UnaryFormula

getSubFormula

public AtomicFormula getSubFormula()

Specified by:

getSubFormula in interface UnaryFormula

getOperatorName

public java.lang.String getOperatorName()

isNegation

public boolean isNegation()

Specified by:

isNegation in interface UnaryFormula

isIdentity

public boolean isIdentity()

Specified by:

isIdentity in interface UnaryFormula