Module base File List

Here is a list of all files with brief descriptions:

/home/adavid/UPPAAL/trunk/server/modules/base/bitstring.c
/home/adavid/UPPAAL/trunk/server/modules/base/c_allocator.c
/home/adavid/UPPAAL/trunk/server/modules/base/DataAllocator.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/Enumerator.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/FatalException.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/intutils.c
/home/adavid/UPPAAL/trunk/server/modules/base/platform.c
/home/adavid/UPPAAL/trunk/server/modules/base/PriorityQueue.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/property.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/SimpleQueue.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/stats.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/Timer.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/tests/benchmark_copy.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/tests/testallocator.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/tests/testarray.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/tests/testbitptr.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/tests/testbitstring.c
/home/adavid/UPPAAL/trunk/server/modules/base/tests/testcppbitstring.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/tests/testcrashallocator.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/tests/testintutils.c
/home/adavid/UPPAAL/trunk/server/modules/base/tests/testitemallocator.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/tests/testobject.cpp
/home/adavid/UPPAAL/trunk/server/modules/base/tests/testtimer.cpp
/home/adavid/UPPAAL/trunk/server/modules/include/base/Array.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/array_t.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/bitptr.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/bitstring.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/c_allocator.h [code]	Definition of the allocator function type and declaration of a default function based on malloc
/home/adavid/UPPAAL/trunk/server/modules/include/base/DataAllocator.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/doubles.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/Enumerator.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/FatalException.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/inttypes.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/intutils.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/ItemAllocator.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/linkable.h [code]	Defines base linkable structures for single and double linked lists
/home/adavid/UPPAAL/trunk/server/modules/include/base/MZRan13.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/Object.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/platform.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/pointer.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/PriorityQueue.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/property.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/relation.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/SimpleQueue.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/slist.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/speedkind.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/stats.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/Timer.h [code]
/home/adavid/UPPAAL/trunk/server/modules/include/base/xorptr.h [code]

---