edu.wis.jtlv.env.core.smv.eval
Class ValueBDDStmt
java.lang.Object
edu.wis.jtlv.env.core.smv.eval.AbstractElement
edu.wis.jtlv.env.core.smv.eval.ValueStmt
edu.wis.jtlv.env.core.smv.eval.ValueBDDStmt
public class ValueBDDStmt
- extends ValueStmt
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ValueBDDStmt
public ValueBDDStmt(SMVModule a_context,
BDD a_val)
throws SMVParseException
- Throws:
SMVParseException
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