edu.wis.jtlv.env.core.smv.eval
Class ValueConsStrStmt
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.ValueConsStmt
edu.wis.jtlv.env.core.smv.eval.ValueConsStrStmt
public class ValueConsStrStmt
- extends ValueConsStmt
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ValueConsStrStmt
public ValueConsStrStmt(SMVModule a_context,
java.lang.String[] a_constant)
throws SMVParseException
- Throws:
SMVParseException
toBDD
public BDD toBDD()
throws SMVParseException
- Specified by:
toBDD
in class ValueStmt
- Throws:
SMVParseException
elemToString
public java.lang.String elemToString()
- Specified by:
elemToString
in class AbstractElement
toValueConsRangeStmt
public ValueConsRangeStmt toValueConsRangeStmt()
throws SMVParseException
- Specified by:
toValueConsRangeStmt
in class ValueConsStmt
- Throws:
SMVParseException
toValueConsStrStmt
public ValueConsStrStmt toValueConsStrStmt()
throws SMVParseException
- Specified by:
toValueConsStrStmt
in class ValueConsStmt
- Throws:
SMVParseException
isValueConsStrStmt
public boolean isValueConsStrStmt()
- Specified by:
isValueConsStrStmt
in class ValueConsStmt
isValueConsRangeStmt
public boolean isValueConsRangeStmt()
- Specified by:
isValueConsRangeStmt
in class ValueConsStmt
getValues
public java.lang.String[] getValues()
isSingleValue
public boolean isSingleValue()
- Specified by:
isSingleValue
in class ValueConsStmt