23#ifndef _PLUGINS_ASP_ASP_THREAD_H_
24#define _PLUGINS_ASP_ASP_THREAD_H_
26#include <aspect/aspect_provider.h>
27#include <aspect/logging.h>
28#include <core/threading/thread.h>
29#include <plugins/asp/aspect/asp_inifin.h>
30#include <plugins/asp/aspect/clingo_control_manager.h>
31#include <plugins/asp/aspect/clingo_manager_inifin.h>
void loop() override
Code to execute in the thread.
void run() override
Stub to see name in backtrace for easier debugging.
void init() override
Initialize the thread.
void finalize() override
Finalize the thread.
ASPAspect initializer/finalizer.
Thread aspect provide a new aspect.
ClingoManagerAspect initializer/finalizer.
Thread aspect to log output.
Thread class encapsulation of pthreads.
Fawkes library namespace.