Distributed-Run-Time-Resource-Manager/controller_core.h

#ifndef __IDLE_AGENT_H__
#define __IDLE_AGENT_H__

#include "variables.h"

void idle_agent_actions(char scen_directory[SCEN_DIR_SIZE], char scen_num[SCEN_NUM_SIZE]);


#endif