edu.wis.jtlv.env.core.smv.eval
Class ValueConsStmt

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.eval.AbstractElement
      extended by edu.wis.jtlv.env.core.smv.eval.ValueStmt
          extended by edu.wis.jtlv.env.core.smv.eval.ValueConsStmt
Direct Known Subclasses:
ValueConsRangeStmt, ValueConsStrStmt

public abstract class ValueConsStmt
extends ValueStmt


Field Summary
 
Fields inherited from class edu.wis.jtlv.env.core.smv.eval.ValueStmt
toStringlength
 
Constructor Summary
ValueConsStmt(SMVModule a_context)
           
 
Method Summary
 SMVModule getContext()
           
abstract  boolean isSingleValue()
           
abstract  boolean isValueConsRangeStmt()
           
 boolean isValueConsStmt()
           
abstract  boolean isValueConsStrStmt()
           
 ValueBDDStmt toValueBDDStmt()
           
abstract  ValueConsRangeStmt toValueConsRangeStmt()
           
 ValueConsStmt toValueConsStmt()
           
abstract  ValueConsStrStmt toValueConsStrStmt()
           
 ValueDomStmt toValueDomStmt()
           
 ValueIntStmt toValueIntStmt()
           
 
Methods inherited from class edu.wis.jtlv.env.core.smv.eval.ValueStmt
isValueBDDStmt, isValueDomStmt, isValueIntStmt, toBDD, toString
 
Methods inherited from class edu.wis.jtlv.env.core.smv.eval.AbstractElement
elemToString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ValueConsStmt

public ValueConsStmt(SMVModule a_context)
              throws SMVParseException
Throws:
SMVParseException
Method Detail

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()