ValueSymbolTable

java.lang.Object
- gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table<java.lang.Integer,V>
- - gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.StaticTable<za.ac.sun.cs.green.expr.Expression>
  - - gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.ValueSymbolTable

```
public class ValueSymbolTable
extends StaticTable<za.ac.sun.cs.green.expr.Expression>
```
SH: This table contains the values for the region input and the constant wala variables. Region input is defined as the first use of every stack slot, if the first time a var is associated to a stack slot happens to be a def then this is not an input to the region, nor any of its subsequent vars. all values stored here should be in the form of a green expression

Field Summary
- Fields inherited from class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table
  label1, label2, table, tableName

Constructors
Constructor and Description
`ValueSymbolTable()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`ValueSymbolTable`	`clone()` Clones the VarTypeTable to a new VarTypeTable, by creating new entries for the keys.

Methods inherited from class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.StaticTable
getKeys, mergeTable, updateKey

Methods inherited from class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.Table
add, lookup, mergeTable, print, remove

Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Class ValueSymbolTable