edu.wis.jtlv.env.core.smv.eval.temporals
Class AbstractCTLBinaryWithRangeOperator

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

All Implemented Interfaces:

ICTLOperator

Direct Known Subclasses:

OpCTLPureAA, OpCTLPureEE

public abstract class AbstractCTLBinaryWithRangeOperator
extends AbstractBinaryOperator
implements ICTLOperator

Constructor Summary

AbstractCTLBinaryWithRangeOperator(AbstractElement a_left, java.lang.String a_type, java.util.Vector<java.lang.String> a_range, AbstractElement a_right)

Method Summary

java.lang.String

toString()

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

getLeft, getRight

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

AbstractCTLBinaryWithRangeOperator

public AbstractCTLBinaryWithRangeOperator(AbstractElement a_left,
                                          java.lang.String a_type,
                                          java.util.Vector<java.lang.String> a_range,
                                          AbstractElement a_right)
                                   throws SMVParseException

Throws:

SMVParseException

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class AbstractBinaryOperator