#include "DomainDataManager.h"
#include "tools/Config_Handlers/DD_Handler.h"
#include "tools/Config_Handlers/DnC_Dump.h"
#include "ciao/CIAO_common.h"
Variables | |
const char * | domain_file_name = "Domain.cdd" |
const char* domain_file_name = "Domain.cdd" |