Gecode::FlatZinc::BlackBoxContextHandle Class Reference

Model-local context shared by blackbox propagators and search support. More...

#include <gecode/flatzinc/blackbox.hh>

Public Member Functions
	BlackBoxContextHandle (void)
	BlackBoxContextHandle (const BlackBoxContextHandle &handle)
BlackBoxContextHandle &	operator= (const BlackBoxContextHandle &handle)
void	init (void)
	Initialize this context if it is empty.
SharedHandle	backendForConstraint (const std::string &mode, const std::string &target, const std::vector< std::string > &args) const
	Return the backend selected for one constraint as an opaque handle.
void	fail (std::exception_ptr e) const
	Record the first exception raised during blackbox propagation.
bool	failed (void) const
	Whether blackbox propagation raised an exception.
void	rethrow (void) const
	Rethrow the first recorded propagation exception.
Public Member Functions inherited from Gecode::SharedHandle
	SharedHandle (void)
	Create shared handle with no object pointing to.
	SharedHandle (SharedHandle::Object *so)
	Create shared handle that points to shared object so.
	SharedHandle (const SharedHandle &sh)
	Copy constructor maintaining reference count.
SharedHandle &	operator= (const SharedHandle &sh)
	Assignment operator maintaining reference count.
	~SharedHandle (void)
	Destructor that maintains reference count.
	operator bool (void) const
	Whether handle points to an object.

Additional Inherited Members
Protected Member Functions inherited from Gecode::SharedHandle
SharedHandle::Object *	object (void) const
	Access to the shared object.
void	object (SharedHandle::Object *n)
	Modify shared object.

Detailed Description

Model-local context shared by blackbox propagators and search support.

Definition at line 56 of file blackbox.hh.

Constructor & Destructor Documentation

BlackBoxContextHandle() [1/2]

Gecode::FlatZinc::BlackBoxContextHandle::BlackBoxContextHandle ( void )

inline

Definition at line 58 of file blackbox.hh.

BlackBoxContextHandle() [2/2]

Gecode::FlatZinc::BlackBoxContextHandle::BlackBoxContextHandle ( const BlackBoxContextHandle & handle )

inline

Definition at line 59 of file blackbox.hh.

Member Function Documentation

operator=()

BlackBoxContextHandle & Gecode::FlatZinc::BlackBoxContextHandle::operator= ( const BlackBoxContextHandle & handle )

inline

Definition at line 61 of file blackbox.hh.

init()

void Gecode::FlatZinc::BlackBoxContextHandle::init

(

void

)

Initialize this context if it is empty.

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

backendForConstraint()

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

Return the backend selected for one constraint as an opaque handle.

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

fail()

void Gecode::FlatZinc::BlackBoxContextHandle::fail

(

std::exception_ptr

e

)

const

Record the first exception raised during blackbox propagation.

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

failed()

bool Gecode::FlatZinc::BlackBoxContextHandle::failed

(

void

)

const

Whether blackbox propagation raised an exception.

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

rethrow()

void Gecode::FlatZinc::BlackBoxContextHandle::rethrow

(

void

)

const

Rethrow the first recorded propagation exception.

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

---

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

• gecode/flatzinc/blackbox.hh
• gecode/flatzinc/blackbox-propagator.cpp