#include <GoalDrivenReasoner.h>

Inheritance diagram for knowrob::ReasonerRunner:

Collaboration diagram for knowrob::ReasonerRunner:

Public Member Functions
	ReasonerRunner ()=default

void	run () override

	ReasonerRunner ()=default

void	run () override

Public Member Functions inherited from knowrob::ThreadPool::Runner
	Runner ()

virtual	~Runner ()

	Runner (const Runner &)=delete

void	join ()

void	stop (bool wait)

bool	hasStopRequest () const

bool	isTerminated () const

	Runner ()

virtual	~Runner ()

	Runner (const Runner &)=delete

void	join ()

void	stop (bool wait)

bool	hasStopRequest () const

bool	isTerminated () const

Public Attributes
std::shared_ptr< GoalDrivenReasoner >	reasoner

std::shared_ptr< Goal >	query

Additional Inherited Members
Protected Member Functions inherited from knowrob::ThreadPool::Runner
void	runInternal ()

void	setExceptionHandler (ExceptionHandler exceptionHandler)

void	runInternal ()

void	setExceptionHandler (ExceptionHandler exceptionHandler)

Protected Attributes inherited from knowrob::ThreadPool::Runner
std::atomic< bool >	isTerminated_

std::atomic< bool >	isRunning_

std::atomic< bool >	hasStopRequest_

std::mutex	mutex_

std::condition_variable	finishedCV_

ExceptionHandler	exceptionHandler_

Detailed Description

A runner that can be used to evaluate a query in a thread pool.

Definition at line 134 of file GoalDrivenReasoner.h.

Constructor & Destructor Documentation

◆ ReasonerRunner() [1/2]

knowrob::ReasonerRunner::ReasonerRunner ( )

default

◆ ReasonerRunner() [2/2]

knowrob::ReasonerRunner::ReasonerRunner ( )

default

Member Function Documentation

◆ run() [1/2]

void ReasonerRunner::run ( )

overridevirtual

Run the computation in a worker thread.

Implements knowrob::ThreadPool::Runner.

Definition at line 59 of file GoalDrivenReasoner.cpp.

                          {
     if (reasoner->reasonerLanguage() == PluginLanguage::PYTHON) {
         // If the reasoner uses Python code, then we must make sure that the GIL is acquired
         // in the current thread before calling the reasoner.
         // Note that due to Python's GIL, only one thread can execute Python code at a time
         // but Python should do switching between threads automatically.
         py::gil_lock acquire;
         run_();
     } else {
         run_();
     }
 }

◆ run() [2/2]

void knowrob::ReasonerRunner::run ( )

overridevirtual

Run the computation in a worker thread.

Implements knowrob::ThreadPool::Runner.

Member Data Documentation

◆ query

std::shared_ptr< Goal > knowrob::ReasonerRunner::query

Definition at line 137 of file GoalDrivenReasoner.h.

◆ reasoner

std::shared_ptr< GoalDrivenReasoner > knowrob::ReasonerRunner::reasoner

Definition at line 136 of file GoalDrivenReasoner.h.

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

build/_CPack_Packages/Linux/DEB/knowrob-2.1.0-Linux/usr/include/knowrob/reasoner/GoalDrivenReasoner.h
src/reasoner/GoalDrivenReasoner.cpp

Public Member Functions

Public Attributes

Additional Inherited Members