Package korat.utils

Interface Summary

IIntList

Class Summary

BytecodeDumper
IdentityWrapper
IntList	Slow - use one of its derivatives, BS or AI
IntListAI	List of integers with stack policy Different mechanism for checking if the field index is already contained in the accessed field list.
IntListBS	Uses bitset to check if field is already contained.
Pair<E1,E2>	General purpose class for holding a pair of data
ReflectionUtils
RunParallelSimulation
SerializationListener