edu.wis.jtlv.env.core.smv.eval
Class ValueStmt
java.lang.Object
edu.wis.jtlv.env.core.smv.eval.AbstractElement
edu.wis.jtlv.env.core.smv.eval.ValueStmt
- Direct Known Subclasses:
- ValueBDDStmt, ValueConsStmt, ValueDomStmt, ValueIntStmt
public abstract class ValueStmt
- extends AbstractElement
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
toStringlength
public static int toStringlength
ValueStmt
public ValueStmt(SMVModule a_context)
throws SMVParseException
- Throws:
SMVParseException
toString
public java.lang.String toString()
- Specified by:
toString
in class AbstractElement
getContext
public SMVModule getContext()
toValueBDDStmt
public abstract ValueBDDStmt toValueBDDStmt()
throws SMVParseException
- Throws:
SMVParseException
toValueIntStmt
public abstract ValueIntStmt toValueIntStmt()
throws SMVParseException
- Throws:
SMVParseException
toValueDomStmt
public abstract ValueDomStmt toValueDomStmt()
throws SMVParseException
- Throws:
SMVParseException
toValueConsStmt
public abstract ValueConsStmt toValueConsStmt()
throws SMVParseException
- Throws:
SMVParseException
toBDD
public abstract BDD toBDD()
throws SMVParseException
- Throws:
SMVParseException
isValueBDDStmt
public boolean isValueBDDStmt()
isValueIntStmt
public boolean isValueIntStmt()
isValueDomStmt
public boolean isValueDomStmt()
isValueConsStmt
public boolean isValueConsStmt()