Package de.uzl.its.swat.symbolic.value

package de.uzl.its.swat.symbolic.value

Related Packages

Package	Description
de.uzl.its.swat.symbolic
de.uzl.its.swat.symbolic.value.reference
de.uzl.its.swat.symbolic.instruction
de.uzl.its.swat.symbolic.invoke
de.uzl.its.swat.symbolic.processor
de.uzl.its.swat.symbolic.trace	This package contains the trace, its handler and its elements.

Class	Description
PlaceHolder	Author: Koushik Sen (ksen@cs.berkeley.edu) Date: 6/17/12 Time: 6:05 PM
PlaceHolder.ValueOrigin
Value<T,K>	Abstract value of any type.
ValueFactory
ValueType
VoidValue