22#include "stn-generator_thread.h"
24#include <core/plugin.h>
44PLUGIN_DESCRIPTION(
"Generates an STN representation of a sequential task plan")
Generates an STN representation of a sequential task plan.
StnGeneratorPlugin(Configuration *config)
Constructor.
Generates an STN representation of a sequential task plan.
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.