39 template<
class Var,
class Val>
46 template<
class View,
class Val>
50 typedef typename View::VarType
Var;
59 operator bool(
void)
const;
64 std::ostream& o)
const;
72 template<
class View,
class Val>
76 typedef typename View::VarType
Var;
83 operator bool(
void)
const;
88 std::ostream& o)
const;
97 template<
class View,
class Val>
104 template<
class View,
class Val>
110 template<
class View,
class Val>
116 template<
class View,
class Val>
121 std::ostream& o)
const {
124 p()(home,b,a,xv,i,m,o);
127 template<
class View,
class Val>
133 template<
class View,
class Val>
140 template<
class View,
class Val>
147 template<
class View,
class Val>
151 template<
class View,
class Val>
157 template<
class View,
class Val>
162 std::ostream&)
const {}
163 template<
class View,
class Val>
169 template<
class View,
class Val>
Class without print function.
void dispose(Space &home)
Delete.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
BrancherNoPrint(BrancherNoPrint &bp)
Initialize during cloning.
BrancherNoPrint(VarValPrint< Var, Val > vvp)
Initialize.
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.
View::VarType Var
The corresponding variable type.
Class storing a print function.
BrancherPrint(BrancherPrint &bp)
Initialize during cloning.
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.
BrancherPrint(VarValPrint< Var, Val > vvp)
Initialize.
SharedData< VarValPrint< Var, Val > > p
void dispose(Space &home)
Delete.
View::VarType Var
The corresponding variable type.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Base-class for branchers.
Exception: invalid function
Class for sharing data between spaces.
Base class for variables.
Gecode toplevel namespace
std::function< void(const Space &home, const Brancher &b, unsigned int a, Var x, int i, const Val &m, std::ostream &o)> VarValPrint
Function type for printing variable and value selection.
Post propagator for SetVar x
#define GECODE_VALID_FUNCTION(f)
Assert that a function is valid.