Gecode::FlatZinc::BlackBoxProcessSession Class Reference

Platform process session used by the executable blackbox backend. More...

#include <gecode/flatzinc/blackbox-process.hh>

Public Member Functions
virtual	~BlackBoxProcessSession (void)
bool	owned_by_current_thread (void) const
virtual std::string	exchange (const std::string &request)=0

Protected Member Functions
	BlackBoxProcessSession (void)

Protected Attributes
std::thread::id	owner

Detailed Description

Platform process session used by the executable blackbox backend.

Definition at line 25 of file blackbox-process.hh.

Constructor & Destructor Documentation

BlackBoxProcessSession()

Gecode::FlatZinc::BlackBoxProcessSession::BlackBoxProcessSession ( void )

inlineprotected

Definition at line 30 of file blackbox-process.hh.

~BlackBoxProcessSession()

virtual Gecode::FlatZinc::BlackBoxProcessSession::~BlackBoxProcessSession ( void )

inlinevirtual

Definition at line 36 of file blackbox-process.hh.

Member Function Documentation

owned_by_current_thread()

bool Gecode::FlatZinc::BlackBoxProcessSession::owned_by_current_thread ( void ) const

inline

Definition at line 37 of file blackbox-process.hh.

exchange()

virtual std::string Gecode::FlatZinc::BlackBoxProcessSession::exchange ( const std::string & request )

pure virtual

Member Data Documentation

owner

std::thread::id Gecode::FlatZinc::BlackBoxProcessSession::owner

protected

Definition at line 28 of file blackbox-process.hh.

---

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

• gecode/flatzinc/blackbox-process.hh