/home/adavid/UPPAAL/trunk/server/modules/dbm/dbm.c | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/dbm.h [code] | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/DBMAllocator.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/DBMAllocator.h [code] | Allocation of classes related to fed_t, dbm_t, etc |
/home/adavid/UPPAAL/trunk/server/modules/dbm/dbmfederation.c | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/fed.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/fed_dbm.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/Federation.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/gen.c | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/infimum.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/infimum.h [code] | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/mingraph.c | Miscellanous functions of the mingraph.h API: get dimension, get size, convex union, get coding type |
/home/adavid/UPPAAL/trunk/server/modules/dbm/mingraph_cache.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/mingraph_cache.h [code] | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/mingraph_coding.h [code] | Contains format description and coding/decoding primitives for mingraph |
/home/adavid/UPPAAL/trunk/server/modules/dbm/mingraph_equal.c | Contains implementation of the equality functions from the API: these are switch functions to encoding specific functions |
/home/adavid/UPPAAL/trunk/server/modules/dbm/mingraph_read.c | Contains implementation of the read function from the API: this is a switch between different encoding specific functions |
/home/adavid/UPPAAL/trunk/server/modules/dbm/mingraph_relation.c | Contains implementation of the relation function: it is a switch to functions depending on the encoding |
/home/adavid/UPPAAL/trunk/server/modules/dbm/mingraph_write.c | Contains implementation of analysis of DBM to minimal graph and its encoding |
/home/adavid/UPPAAL/trunk/server/modules/dbm/partition.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/pfed.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/priced.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/print.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/ruby/udbm.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/swig/wrapper.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/swig/wrapper.h [code] | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/tests/testdbm.c | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/tests/testdbmfederation.c | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/tests/testext.c | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/tests/testextrapolation.c | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/tests/testfed.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/tests/testfeddbm.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/tests/testinfimum.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/tests/testmingraph.c | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/tests/testvaluation.cpp | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/tests/xdbm.c | |
/home/adavid/UPPAAL/trunk/server/modules/dbm/tests/xfed.c | |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/constraints.h [code] | |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/dbm.h [code] | |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/dbmfederation.h [code] | |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/fed.h [code] | This API offers access to DBMs and federations (of DBMs) through 2 classes: dbm_t and fed_t |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/Federation.h [code] | |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/gen.h [code] | |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/inline_fed.h [code] | This file contains internal classes and inlined implementation of fed.h |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/mingraph.h [code] | Support for minimum graph representation |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/partition.h [code] | |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/pfed.h [code] | |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/priced.h [code] | Functions for handling priced DBMs |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/print.h [code] | |
/home/adavid/UPPAAL/trunk/server/modules/include/dbm/Valuation.h [code] | |