Gecode::Int::Exec::When Class Reference
[Integer propagators]
Conditional propagator. More...
#include <exec.hh>
Public Member Functions | |
virtual Actor * | copy (Space &home, bool share) |
Copy propagator during cloning. | |
virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
Perform propagation. | |
Static Public Member Functions | |
static ExecStatus | post (Home home, BoolView x, void(*t)(Space &), void(*e)(Space &)) |
Post propagator. | |
Protected Member Functions | |
When (Space &home, bool share, When &p) | |
Constructor for cloning p. | |
When (Home home, BoolView x, void(*t0)(Space &), void(*e0)(Space &)) | |
Constructor for creation. | |
Protected Attributes | |
void(* | t )(Space &) |
Then function pointer. | |
void(* | e )(Space &) |
Else function pointer. |
Detailed Description
Conditional propagator.
Requires
#include <gecode/int/exec.hh>
Definition at line 56 of file exec.hh.
Constructor & Destructor Documentation
Member Function Documentation
ExecStatus Gecode::Int::Exec::When::propagate | ( | Space & | home, | |
const ModEventDelta & | med | |||
) | [virtual] |
ExecStatus Gecode::Int::Exec::When::post | ( | Home | home, | |
BoolView | x, | |||
void(*)(Space &) | t, | |||
void(*)(Space &) | e | |||
) | [static] |
Member Data Documentation
void(* Gecode::Int::Exec::When::t)(Space &) [protected] |
void(* Gecode::Int::Exec::When::e)(Space &) [protected] |
The documentation for this class was generated from the following files:
- gecode/int/exec.hh (Revision: 9878)
- gecode/int/exec/when.cpp (Revision: 10364)
- gecode/int/exec/when.hpp (Revision: 9878)