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

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.eval.AbstractElement
      extended by edu.wis.jtlv.env.core.smv.eval.ValueStmt
          extended by edu.wis.jtlv.env.core.smv.eval.ValueBDDStmt

public class ValueBDDStmt
extends ValueStmt


Field Summary
 
Fields inherited from class edu.wis.jtlv.env.core.smv.eval.ValueStmt
toStringlength
 
Constructor Summary
ValueBDDStmt(SMVModule a_context, BDD a_val)
           
 
Method Summary
 java.lang.String elemToString()
           
 boolean isValueBDDStmt()
           
 BDD toBDD()
           
 ValueBDDStmt toValueBDDStmt()
           
 ValueConsStmt toValueConsStmt()
           
 ValueDomStmt toValueDomStmt()
           
 ValueIntStmt toValueIntStmt()
           
 
Methods inherited from class edu.wis.jtlv.env.core.smv.eval.ValueStmt
getContext, isValueConsStmt, isValueDomStmt, isValueIntStmt, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ValueBDDStmt

public ValueBDDStmt(SMVModule a_context,
                    BDD a_val)
             throws SMVParseException
Throws:
SMVParseException
Method Detail

toValueBDDStmt

public ValueBDDStmt toValueBDDStmt()
                            throws SMVParseException
Specified by:
toValueBDDStmt in class ValueStmt
Throws:
SMVParseException

toValueIntStmt

public ValueIntStmt toValueIntStmt()
                            throws SMVParseException
Specified by:
toValueIntStmt in class ValueStmt
Throws:
SMVParseException

toValueDomStmt

public ValueDomStmt toValueDomStmt()
                            throws SMVParseException
Specified by:
toValueDomStmt in class ValueStmt
Throws:
SMVParseException

toValueConsStmt

public ValueConsStmt toValueConsStmt()
                              throws SMVParseException
Specified by:
toValueConsStmt in class ValueStmt
Throws:
SMVParseException

toBDD

public BDD toBDD()
          throws SMVParseException
Specified by:
toBDD in class ValueStmt
Throws:
SMVParseException

isValueBDDStmt

public boolean isValueBDDStmt()
Overrides:
isValueBDDStmt in class ValueStmt

elemToString

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