
Public Member Functions | |
| Instance (const std::thread::id &owner0, void *value0) | |
Public Attributes | |
| std::thread::id | owner |
| void * | value |
Definition at line 243 of file blackbox-backend.cpp.
|
inline |
Definition at line 248 of file blackbox-backend.cpp.
| std::thread::id Gecode::FlatZinc::BlackBoxLibrary::Instance::owner |
Definition at line 245 of file blackbox-backend.cpp.
| void* Gecode::FlatZinc::BlackBoxLibrary::Instance::value |
Definition at line 246 of file blackbox-backend.cpp.