Simple test for wait (Boolean variables).
More...
List of all members.
Detailed Description
Simple test for wait (Boolean variables).
Definition at line 94 of file exec.cpp.
Constructor & Destructor Documentation
Test::Int::Exec::BoolWait::BoolWait |
( |
int |
n, |
|
|
bool |
sf0 | |
|
) |
| | [inline] |
Create and register test.
Definition at line 100 of file exec.cpp.
Member Function Documentation
virtual bool Test::Int::Exec::BoolWait::solution |
( |
const Assignment & |
x |
) |
const [inline, virtual] |
static void Test::Int::Exec::BoolWait::c |
( |
Gecode::Space & |
_home |
) |
[inline, static] |
Continuation to be executed.
Definition at line 131 of file exec.cpp.
Member Data Documentation
Whether to use std::function.
Definition at line 97 of file exec.cpp.
The documentation for this class was generated from the following file: