Class withot a branch filter function. More...
#include <brancher-filter.hpp>
Public Types | |
typedef View::VarType | Var |
The corresponding variable type. More... | |
Public Member Functions | |
BrancherNoFilter (BranchFilter< Var > bf) | |
Initialize. More... | |
BrancherNoFilter (Space &home, bool shared, BrancherNoFilter &bf) | |
Initialize during cloning. More... | |
operator bool (void) const | |
Whether filtering is enabled. More... | |
bool | operator() (const Space &home, View x, int i) const |
Invoke filter function. More... | |
bool | notice (void) const |
Whether dispose must always be called (that is, notice is needed) More... | |
void | dispose (Space &home) |
Delete object. More... | |
Class withot a branch filter function.
Definition at line 72 of file brancher-filter.hpp.
typedef View::VarType Gecode::BrancherNoFilter< View >::Var |
The corresponding variable type.
Definition at line 75 of file brancher-filter.hpp.
|
inline |
Initialize.
Definition at line 135 of file brancher-filter.hpp.
|
inline |
Initialize during cloning.
Definition at line 141 of file brancher-filter.hpp.
|
inline |
Whether filtering is enabled.
Definition at line 146 of file brancher-filter.hpp.
|
inline |
Invoke filter function.
Definition at line 152 of file brancher-filter.hpp.
|
inline |
Whether dispose must always be called (that is, notice is needed)
Definition at line 157 of file brancher-filter.hpp.
|
inline |
Delete object.
Definition at line 163 of file brancher-filter.hpp.