Package de.uzl.its.swat.symbolic.value.primitive.numeric.floatingpoint

package de.uzl.its.swat.symbolic.value.primitive.numeric.floatingpoint

Related Packages

Package	Description
de.uzl.its.swat.symbolic.value.primitive.numeric
de.uzl.its.swat.symbolic.value.primitive.numeric.integral

Classes

Class	Description
DoubleValue	Wrapper for doubles to represent symbolic and concrete information on the symbolic stack
FloatValue