Fawkes API
Fawkes Development Version
|
Thread aspect to get access to an ASP solver. More...
#include <>>
Public Member Functions | |
ASPAspect (const std::string &&control_name, const std::string &&log_component=std::string()) | |
Constructor. More... | |
virtual | ~ASPAspect (void) |
Virtual empty destructor. More... | |
![]() | |
const std::list< const char * > & | get_aspects () const |
Get list of aspect names attached to a aspected thread. More... | |
Protected Attributes | |
LockPtr< ClingoAccess > | clingo |
Clingo Control for exclusive usage. More... | |
Related Functions | |
(Note that these are not member functions.) | |
class | ASPAspectIniFin |
Additional access by ASPAspectIniFin. More... | |
Additional Inherited Members | |
![]() | |
void | add_aspect (const char *name) |
Add an aspect to a thread. More... | |
Thread aspect to get access to an ASP solver.
Give this aspect to your thread to get a Clingo Control for exclusive usage.
fawkes::ASPAspect::ASPAspect | ( | const std::string && | control_name, |
const std::string && | log_component = std::string() |
||
) |
Constructor.
[in] | control_name | The desired control name. |
[in] | log_component | The component for the logger. |
Definition at line 50 of file asp.cpp.
References fawkes::Aspect::add_aspect().
|
virtual |
|
friend |
Additional access by ASPAspectIniFin.
|
protected |