Thread aspect to get access to an ASP solver. More...

#include <>>

Inheritance diagram for fawkes::ASPAspect:

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...

Public Member Functions inherited from fawkes::Aspect
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
Protected Member Functions inherited from fawkes::Aspect
void	add_aspect (const char *name)
	Add an aspect to a thread. More...

Detailed Description

Thread aspect to get access to an ASP solver.

Give this aspect to your thread to get a Clingo Control for exclusive usage.

Author: Björn Schäpers

Definition at line 36 of file asp.h.

Constructor & Destructor Documentation

◆ ASPAspect()

fawkes::ASPAspect::ASPAspect	(	const std::string &&	control_name,
		const std::string &&	log_component = `std::string()`
	)

Constructor.

Parameters

[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().

◆ ~ASPAspect()

fawkes::ASPAspect::~ASPAspect ( void )

virtual

Virtual empty destructor.

Definition at line 57 of file asp.cpp.

Friends And Related Function Documentation

◆ ASPAspectIniFin

friend class ASPAspectIniFin

friend

Additional access by ASPAspectIniFin.

Definition at line 55 of file asp.h.

Member Data Documentation

◆ clingo

fawkes::ASPAspect::clingo

protected

Clingo Control for exclusive usage.

Definition at line 50 of file asp.h.

The documentation for this class was generated from the following files:

src/plugins/asp/aspect/asp.h
src/plugins/asp/aspect/asp.cpp

Public Member Functions

Protected Attributes

Related Functions

Additional Inherited Members