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

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.eval.AbstractElement
      extended by edu.wis.jtlv.env.core.smv.eval.AbstractBinaryOperator
          extended by edu.wis.jtlv.env.core.smv.eval.temporals.AbstractCTLBinaryWithRangeOperator
              extended by edu.wis.jtlv.env.core.smv.eval.temporals.OpCTLPureAA
All Implemented Interfaces:
ICTLOperator

public class OpCTLPureAA
extends AbstractCTLBinaryWithRangeOperator


Constructor Summary
OpCTLPureAA(AbstractElement a_left, java.lang.String a_type, java.util.Vector<java.lang.String> a_range, AbstractElement a_right)
           
 
Method Summary
 java.lang.String elemToString()
           
 
Methods inherited from class edu.wis.jtlv.env.core.smv.eval.temporals.AbstractCTLBinaryWithRangeOperator
toString
 
Methods inherited from class edu.wis.jtlv.env.core.smv.eval.AbstractBinaryOperator
getLeft, getRight
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

OpCTLPureAA

public OpCTLPureAA(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

elemToString

public java.lang.String elemToString()
Specified by:
elemToString in class AbstractElement