edu.wis.jtlv.env.core.smv.eval
Class ValueConsStmt
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
- Direct Known Subclasses:
- ValueConsRangeStmt, ValueConsStrStmt
public abstract class ValueConsStmt
- extends ValueStmt
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ValueConsStmt
public ValueConsStmt(SMVModule a_context)
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
isValueConsStmt
public boolean isValueConsStmt()
- Overrides:
isValueConsStmt
in class ValueStmt
getContext
public SMVModule getContext()
- Overrides:
getContext
in class ValueStmt
toValueConsRangeStmt
public abstract ValueConsRangeStmt toValueConsRangeStmt()
throws SMVParseException
- Throws:
SMVParseException
toValueConsStrStmt
public abstract ValueConsStrStmt toValueConsStrStmt()
throws SMVParseException
- Throws:
SMVParseException
isValueConsStrStmt
public abstract boolean isValueConsStrStmt()
isValueConsRangeStmt
public abstract boolean isValueConsRangeStmt()
isSingleValue
public abstract boolean isSingleValue()