#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" |
1.5.8