Simple test for when.
More...
List of all members.
Detailed Description
Simple test for when.
Definition at line 142 of file exec.cpp.
Constructor & Destructor Documentation
Test::Int::Exec::When::When |
( |
bool |
sf0 |
) |
[inline] |
Create and register test.
Definition at line 148 of file exec.cpp.
Member Function Documentation
virtual bool Test::Int::Exec::When::solution |
( |
const Assignment & |
x |
) |
const [inline, virtual] |
static void Test::Int::Exec::When::t |
( |
Gecode::Space & |
home |
) |
[inline, static] |
Then-function to be executed.
Definition at line 169 of file exec.cpp.
static void Test::Int::Exec::When::e |
( |
Gecode::Space & |
home |
) |
[inline, static] |
Else-function to be executed.
Definition at line 173 of file exec.cpp.
Member Data Documentation
Whether to use std::function.
Definition at line 145 of file exec.cpp.
The documentation for this class was generated from the following file: