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

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.eval.AbstractElement
      extended by edu.wis.jtlv.env.core.smv.eval.AbstractUnaryOperator
Direct Known Subclasses:
AbstractCTLUnaryWithRangeOperator, OpCTLNot, OpCTLPureAF, OpCTLPureAG, OpCTLPureAX, OpCTLPureEF, OpCTLPureEG, OpCTLPureEX, OpLTLFuture, OpLTLGlobal, OpLTLHistorical, OpLTLNext, OpLTLNot, OpLTLNotPrecNot, OpLTLOnce, OpLTLPrec, OpNext, OpNot, OpUnaryMinus, StmtDefineOperator, StmtOperator

public abstract class AbstractUnaryOperator
extends AbstractElement


Constructor Summary
AbstractUnaryOperator(AbstractElement a_val)
           
 
Method Summary
 AbstractElement getVal()
           
 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

AbstractUnaryOperator

public AbstractUnaryOperator(AbstractElement a_val)
                      throws SMVParseException
Throws:
SMVParseException
Method Detail

toString

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

getVal

public AbstractElement getVal()