23 #include "plexil_thread.h"
25 #include <core/plugin.h>
44 PLUGIN_DESCRIPTION(
"PLEXIL Executive")
PlexilExecutivePlugin(Configuration *config)
Constructor.
Main thread of PLEXIL executive.
Interface for configuration handling.
Fawkes library namespace.