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

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

Related Packages

Package	Description
de.uzl.its.swat.symbolic.value.reference
de.uzl.its.swat.symbolic.value.reference.lang
de.uzl.its.swat.symbolic.value.reference.util

Classes

Class	Description
AbstractArrayValue<TI extends org.sosy_lab.java_smt.api.Formula,TE extends org.sosy_lab.java_smt.api.Formula,VI extends Value<?,?>,VE extends Value<?,?>,K>	Abstract class for symbolic arrays.
ArrayArrayValue<TE extends org.sosy_lab.java_smt.api.Formula>
BooleanArrayValue	Wrapper for Arrays that contain boolean values.
ByteArrayValue	Wrapper for Arrays that contain byte values.
CharArrayValue	Wrapper for Arrays that contain char values.
DoubleArrayValue	Wrapper for Arrays that contain double values.
FloatArrayValue
IntArrayValue	Wrapper for Arrays that contain integer values.
LongArrayValue
ObjectArrayValue	Wrapper for arrays of references (non-primitive types)
ShortArrayValue
StringArrayValue	Wrapper for Arrays that contain String values.