edu.wis.jtlv.env.core.smv.eval
Class ValueConsRangeStmt
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.ValueConsRangeStmt
public class ValueConsRangeStmt
- extends ValueConsStmt
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ValueConsRangeStmt
public ValueConsRangeStmt(SMVModule a_context,
int a_from,
int a_to)
throws SMVParseException
- Throws:
SMVParseException
toValueBDDStmt
public ValueBDDStmt toValueBDDStmt()
throws SMVParseException
- Overrides:
toValueBDDStmt
in class ValueConsStmt
- Throws:
SMVParseException
toValueIntStmt
public ValueIntStmt toValueIntStmt()
throws SMVParseException
- Overrides:
toValueIntStmt
in class ValueConsStmt
- Throws:
SMVParseException
toValueDomStmt
public ValueDomStmt toValueDomStmt()
throws SMVParseException
- Overrides:
toValueDomStmt
in class ValueConsStmt
- Throws:
SMVParseException
toValueConsStrStmt
public ValueConsStrStmt toValueConsStrStmt()
throws SMVParseException
- Specified by:
toValueConsStrStmt
in class ValueConsStmt
- Throws:
SMVParseException
toValueConsRangeStmt
public ValueConsRangeStmt toValueConsRangeStmt()
throws SMVParseException
- Specified by:
toValueConsRangeStmt
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
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
getContext
public SMVModule getContext()
- Overrides:
getContext
in class ValueConsStmt
fromRange
public java.lang.Integer fromRange()
toRange
public java.lang.Integer toRange()
canBeRange
public static boolean canBeRange(java.util.Vector<java.lang.Integer> vals)
isSingleValue
public boolean isSingleValue()
- Specified by:
isSingleValue
in class ValueConsStmt