edu.wis.jtlv.env.core.smv.eval
Class OpCond
java.lang.Object
edu.wis.jtlv.env.core.smv.eval.AbstractElement
edu.wis.jtlv.env.core.smv.eval.OpCond
- All Implemented Interfaces:
- IBoolOperator
public class OpCond
- extends AbstractElement
- implements IBoolOperator
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
OpCond
public OpCond(AbstractElement[] a_cond,
AbstractElement[] a_then)
throws SMVParseException
- Throws:
SMVParseException
getCond
public AbstractElement[] getCond()
getCond
public AbstractElement getCond(int index)
getThen
public AbstractElement[] getThen()
getThen
public AbstractElement getThen(int index)
elemToString
public java.lang.String elemToString()
- Specified by:
elemToString
in class AbstractElement
toString
public java.lang.String toString()
- Specified by:
toString
in class AbstractElement