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

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.eval.AbstractElement
      extended by 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()