Gecode::BrancherPrint< View, Val > Class Template Reference
Class storing a print function. More...
#include <brancher-print.hpp>
Public Types | |
| typedef View::VarType | Var |
| The corresponding variable type. | |
Public Member Functions | |
| BrancherPrint (VarValPrint< Var, Val > vvp) | |
| Initialize. | |
| BrancherPrint (Space &home, bool shared, BrancherPrint &bp) | |
| Initialize during cloning. | |
| operator bool (void) const | |
| Whether printing is enabled. | |
| 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. | |
| bool | notice (void) const |
| Whether dispose must always be called (that is, notice is needed). | |
| void | dispose (Space &home) |
| Delete. | |
Protected Attributes | |
| SharedData< VarValPrint< Var, Val > > | p |
Detailed Description
template<class View, class Val>
class Gecode::BrancherPrint< View, Val >
Class storing a print function.
Definition at line 51 of file brancher-print.hpp.
Member Typedef Documentation
template<class View, class Val>
| typedef View::VarType Gecode::BrancherPrint< View, Val >::Var |
The corresponding variable type.
Definition at line 54 of file brancher-print.hpp.
Constructor & Destructor Documentation
template<class View , class Val >
| Gecode::BrancherPrint< View, Val >::BrancherPrint | ( | VarValPrint< Var, Val > | vvp | ) | [inline] |
Initialize.
Definition at line 103 of file brancher-print.hpp.
template<class View , class Val >
| Gecode::BrancherPrint< View, Val >::BrancherPrint | ( | Space & | home, | |
| bool | shared, | |||
| BrancherPrint< View, Val > & | bp | |||
| ) | [inline] |
Initialize during cloning.
Definition at line 110 of file brancher-print.hpp.
Member Function Documentation
template<class View , class Val >
| Gecode::BrancherPrint< View, Val >::operator bool | ( | void | ) | const [inline] |
Whether printing is enabled.
Definition at line 117 of file brancher-print.hpp.
template<class View , class Val >
| void Gecode::BrancherPrint< View, Val >::operator() | ( | const Space & | home, | |
| const Brancher & | b, | |||
| unsigned int | a, | |||
| View | x, | |||
| int | i, | |||
| const Val & | m, | |||
| std::ostream & | o | |||
| ) | const [inline] |
Invoke print function.
Definition at line 123 of file brancher-print.hpp.
template<class View , class Val >
| bool Gecode::BrancherPrint< View, Val >::notice | ( | void | ) | const [inline] |
Whether dispose must always be called (that is, notice is needed).
Definition at line 134 of file brancher-print.hpp.
template<class View , class Val >
| void Gecode::BrancherPrint< View, Val >::dispose | ( | Space & | home | ) | [inline] |
Delete.
Definition at line 140 of file brancher-print.hpp.
Member Data Documentation
template<class View, class Val>
SharedData<VarValPrint<Var,Val> > Gecode::BrancherPrint< View, Val >::p [protected] |
Definition at line 56 of file brancher-print.hpp.
The documentation for this class was generated from the following file:
- gecode/kernel/brancher-print.hpp (Revision: 15623)