Gecode::FlatZinc::BlackBoxContext Class Reference

Classes
class	ExecEntry

Public Member Functions
	BlackBoxContext (void)
BlackBoxHandle	backendForConstraint (const std::string &mode, const std::string &target, const std::vector< std::string > &args)
void	fail (std::exception_ptr e)
bool	failed (void) const
void	rethrow (void) const
Public Member Functions inherited from Gecode::SharedHandle::Object
	Object (void)
	Initialize.
virtual	~Object (void)
	Delete shared object.

Protected Attributes
Support::Mutex	mutex
std::vector< ExecEntry >	exec
std::exception_ptr	exception
std::atomic< bool >	error_recorded

Additional Inherited Members
Static Public Member Functions inherited from Gecode::HeapAllocated
static void *	operator new (size_t s)
	Memory management.
static void	operator delete (void *p)
	Free memory allocated from heap.

Detailed Description

Definition at line 68 of file blackbox-propagator.cpp.

Constructor & Destructor Documentation

BlackBoxContext()

Gecode::FlatZinc::BlackBoxContext::BlackBoxContext ( void )

inline

Definition at line 85 of file blackbox-propagator.cpp.

Member Function Documentation

backendForConstraint()

BlackBoxHandle Gecode::FlatZinc::BlackBoxContext::backendForConstraint	(	const std::string &	mode,
		const std::string &	target,
		const std::vector< std::string > &	args )

Definition at line 128 of file blackbox-propagator.cpp.

fail()

void Gecode::FlatZinc::BlackBoxContext::fail

(

std::exception_ptr

e

)

Definition at line 149 of file blackbox-propagator.cpp.

failed()

bool Gecode::FlatZinc::BlackBoxContext::failed

(

void

)

const

Definition at line 158 of file blackbox-propagator.cpp.

rethrow()

void Gecode::FlatZinc::BlackBoxContext::rethrow

(

void

)

const

Definition at line 163 of file blackbox-propagator.cpp.

Member Data Documentation

mutex

Support::Mutex Gecode::FlatZinc::BlackBoxContext::mutex

mutableprotected

Definition at line 79 of file blackbox-propagator.cpp.

exec

std::vector<ExecEntry> Gecode::FlatZinc::BlackBoxContext::exec

protected

Definition at line 80 of file blackbox-propagator.cpp.

exception

std::exception_ptr Gecode::FlatZinc::BlackBoxContext::exception

protected

Definition at line 81 of file blackbox-propagator.cpp.

error_recorded

std::atomic<bool> Gecode::FlatZinc::BlackBoxContext::error_recorded

protected

Definition at line 82 of file blackbox-propagator.cpp.

---

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

• gecode/flatzinc/blackbox-propagator.cpp