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

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.eval.AbstractElement
      extended by edu.wis.jtlv.env.core.smv.eval.AbstractUnaryOperator
          extended by edu.wis.jtlv.env.core.smv.eval.temporals.AbstractCTLUnaryWithRangeOperator
All Implemented Interfaces:
ICTLOperator
Direct Known Subclasses:
OpCTLPureABF, OpCTLPureABG, OpCTLPureEBF, OpCTLPureEBG

public abstract class AbstractCTLUnaryWithRangeOperator
extends AbstractUnaryOperator
implements ICTLOperator


Constructor Summary
AbstractCTLUnaryWithRangeOperator(AbstractElement a_val, java.util.Vector<java.lang.String> a_range)
           
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class edu.wis.jtlv.env.core.smv.eval.AbstractUnaryOperator
getVal
 
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

AbstractCTLUnaryWithRangeOperator

public AbstractCTLUnaryWithRangeOperator(AbstractElement a_val,
                                         java.util.Vector<java.lang.String> a_range)
                                  throws SMVParseException
Throws:
SMVParseException
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class AbstractUnaryOperator