#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" |
It contains the entire Domain information.Both the initial domain as well as the current available domain.
|
|