23#include "plexil_thread.h"
25#include <core/plugin.h>
44PLUGIN_DESCRIPTION(
"PLEXIL Executive")
PlexilExecutivePlugin(Configuration *config)
Constructor.
Main thread of PLEXIL executive.
Interface for configuration handling.
ThreadList thread_list
Thread list member.
Configuration * config
Fawkes configuration.
void push_back(Thread *thread)
Add thread to the end.
Fawkes library namespace.