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

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.eval.AbstractElement
      extended by edu.wis.jtlv.env.core.smv.eval.OpCond
All Implemented Interfaces:
IBoolOperator

public class OpCond
extends AbstractElement
implements IBoolOperator


Constructor Summary
OpCond(AbstractElement[] a_cond, AbstractElement[] a_then)
           
 
Method Summary
 java.lang.String elemToString()
           
 AbstractElement[] getCond()
           
 AbstractElement getCond(int index)
           
 AbstractElement[] getThen()
           
 AbstractElement getThen(int index)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

OpCond

public OpCond(AbstractElement[] a_cond,
              AbstractElement[] a_then)
       throws SMVParseException
Throws:
SMVParseException
Method Detail

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