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

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

public abstract class ValueStmt
extends AbstractElement


Field Summary
static int toStringlength
           
 
Constructor Summary
ValueStmt(SMVModule a_context)
           
 
Method Summary
 SMVModule getContext()
           
 boolean isValueBDDStmt()
           
 boolean isValueConsStmt()
           
 boolean isValueDomStmt()
           
 boolean isValueIntStmt()
           
abstract  BDD toBDD()
           
 java.lang.String toString()
           
abstract  ValueBDDStmt toValueBDDStmt()
           
abstract  ValueConsStmt toValueConsStmt()
           
abstract  ValueDomStmt toValueDomStmt()
           
abstract  ValueIntStmt toValueIntStmt()
           
 
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
 

Field Detail

toStringlength

public static int toStringlength
Constructor Detail

ValueStmt

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

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