#include "DomainDataManager.h"
#include "Config_Handlers/DD_Handler.h"
#include "Config_Handlers/DnC_Dump.h"
#include "ciao/CIAO_common.h"
Include dependency graph for DomainDataManager.cpp:
Variables | |
const char * | domain_file_name = "Domain.cdd" |
const char* domain_file_name = "Domain.cdd" |