edu.wis.jtlv.env.core.smv.eval
Class ValueDomStmt
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.ValueDomStmt
public class ValueDomStmt
- extends ValueStmt
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ValueDomStmt
public ValueDomStmt(SMVModule a_context,
ModuleBDDField a_coup)
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
isBoolDomain
public boolean isBoolDomain()
isOpBoolDomain
public boolean isOpBoolDomain()
isValueDomStmt
public boolean isValueDomStmt()
- Overrides:
isValueDomStmt
in class ValueStmt
elemToString
public java.lang.String elemToString()
- Specified by:
elemToString
in class AbstractElement
biimpDomain
public BDD biimpDomain(ValueDomStmt other)
getBDDCouple
public ModuleBDDField getBDDCouple()
getValues
public java.lang.String[] getValues()
strToBDD
public BDD strToBDD(java.lang.String[] str_vals)
throws SMVParseException
- Throws:
SMVParseException
strToBDD
public BDD strToBDD(java.lang.String str_val)
throws SMVParseException
- Throws:
SMVParseException
notStrToBDD
public BDD notStrToBDD(java.lang.String[] str_vals)
throws SMVParseException
- Throws:
SMVParseException
notStrToBDD
public BDD notStrToBDD(java.lang.String str_val)
throws SMVParseException
- Throws:
SMVParseException
intToBDD
public BDD intToBDD(int[] vals)
throws SMVParseException
- Throws:
SMVParseException
intToBDD
public BDD intToBDD(int val)
throws SMVParseException
- Throws:
SMVParseException
belowIntToBDD
public BDD belowIntToBDD(int val)
throws SMVParseException
- Throws:
SMVParseException
aboveIntToBDD
public BDD aboveIntToBDD(int val)
throws SMVParseException
- Throws:
SMVParseException