edu.wis.jtlv.env.core.smv.eval
Class AbstractBinaryOperator

java.lang.Object
  edu.wis.jtlv.env.core.smv.eval.AbstractElement
      edu.wis.jtlv.env.core.smv.eval.AbstractBinaryOperator

Direct Known Subclasses:

AbstractCTLBinaryWithRangeOperator, OpAnd, OpConcat, OpCTLAnd, OpCTLIff, OpCTLImplies, OpCTLOr, OpCTLXnor, OpCTLXor, OpDivide, OpEqual, OpGE, OpGT, OpIff, OpImplies, OpIn, OpLE, OpLshift, OpLT, OpLTLRelease, OpLTLSince, OpLTLTriggered, OpLTLUntil, OpMinus, OpMod, OpNotEqual, OpOr, OpPlus, OpRshift, OpTimes, OpUnion, OpXnor, OpXor

public abstract class AbstractBinaryOperator
extends AbstractElement

Constructor Summary

AbstractBinaryOperator(AbstractElement a_left, AbstractElement a_right)

Method Summary

AbstractElement	getLeft()
AbstractElement	getRight()
java.lang.String	toString()

Methods inherited from class edu.wis.jtlv.env.core.smv.eval.AbstractElement

elemToString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AbstractBinaryOperator

public AbstractBinaryOperator(AbstractElement a_left,
                              AbstractElement a_right)
                       throws SMVParseException

Throws:

SMVParseException

Method Detail

toString

public java.lang.String toString()

Specified by:

toString in class AbstractElement

getLeft

public AbstractElement getLeft()

getRight

public AbstractElement getRight()