Class storing a print function. More...
#include <brancher-print.hpp>
Public Types | |
typedef View::VarType | Var |
The corresponding variable type. More... | |
Public Member Functions | |
BrancherPrint (VarValPrint< Var, Val > vvp) | |
Initialize. More... | |
BrancherPrint (Space &home, bool shared, BrancherPrint &bp) | |
Initialize during cloning. More... | |
operator bool (void) const | |
Whether printing is enabled. More... | |
void | operator() (const Space &home, const Brancher &b, unsigned int a, View x, int i, const Val &m, std::ostream &o) const |
Invoke print function. More... | |
bool | notice (void) const |
Whether dispose must always be called (that is, notice is needed) More... | |
void | dispose (Space &home) |
Delete. More... | |
Protected Attributes | |
SharedData< VarValPrint< Var, Val > > | p |
Class storing a print function.
Definition at line 51 of file brancher-print.hpp.
typedef View::VarType Gecode::BrancherPrint< View, Val >::Var |
The corresponding variable type.
Definition at line 54 of file brancher-print.hpp.
|
inline |
Initialize.
Definition at line 103 of file brancher-print.hpp.
|
inline |
Initialize during cloning.
Definition at line 110 of file brancher-print.hpp.
|
inline |
Whether printing is enabled.
Definition at line 117 of file brancher-print.hpp.
|
inline |
Invoke print function.
Definition at line 123 of file brancher-print.hpp.
|
inline |
Whether dispose must always be called (that is, notice is needed)
Definition at line 134 of file brancher-print.hpp.
|
inline |
Delete.
Definition at line 140 of file brancher-print.hpp.
|
protected |
Definition at line 56 of file brancher-print.hpp.