edu.wis.jtlv.env.core.smv
Class StmtInit.CaseElement

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.StmtInit.CaseElement
Enclosing class:
StmtInit

public class StmtInit.CaseElement
extends java.lang.Object


Constructor Summary
StmtInit.CaseElement(StmtValueArrayWA an_if_bdd, StmtValueArrayWA a_then_bdd)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StmtInit.CaseElement

public StmtInit.CaseElement(StmtValueArrayWA an_if_bdd,
                            StmtValueArrayWA a_then_bdd)