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

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.OpCTLXor

All Implemented Interfaces:

ICTLOperator

public class OpCTLXor
extends AbstractBinaryOperator
implements ICTLOperator

Constructor Summary

OpCTLXor(AbstractElement a_left, AbstractElement a_right)

Method Summary

java.lang.String

elemToString()

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

getLeft, getRight, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

OpCTLXor

public OpCTLXor(AbstractElement a_left,
                AbstractElement a_right)
         throws SMVParseException

Throws:

SMVParseException

Method Detail

elemToString

public java.lang.String elemToString()

Specified by:

elemToString in class AbstractElement