Class storing a branch filter function. More...
#include <filter.hpp>
Public Types | |
typedef View::VarType | Var |
The corresponding variable type. |
Public Member Functions | |
BrancherFilter (BranchFilter< Var > bf) | |
Initialize. | |
BrancherFilter (BrancherFilter &bf) | |
Initialize during cloning. | |
operator bool (void) const | |
Whether filtering is enabled. | |
bool | operator() (const Space &home, View x, int i) const |
Invoke filter function. | |
bool | notice (void) const |
Whether dispose must always be called (that is, notice is needed) | |
void | dispose (Space &home) |
Delete object. |
Protected Attributes | |
SharedData< BranchFilter< Var > > | f |
Class storing a branch filter function.
Definition at line 45 of file filter.hpp.
typedef View::VarType Gecode::BrancherFilter< View >::Var |
The corresponding variable type.
Definition at line 48 of file filter.hpp.
|
inline |
Initialize.
Definition at line 90 of file filter.hpp.
Gecode::BrancherFilter< View >::BrancherFilter | ( | BrancherFilter< View > & | bf | ) |
Initialize during cloning.
|
inline |
Whether filtering is enabled.
Definition at line 103 of file filter.hpp.
|
inline |
Invoke filter function.
Definition at line 109 of file filter.hpp.
|
inline |
Whether dispose must always be called (that is, notice is needed)
Definition at line 117 of file filter.hpp.
|
inline |
Delete object.
Definition at line 123 of file filter.hpp.
|
protected |
Definition at line 50 of file filter.hpp.