43 template<
class Var,
class Val>
44 using VarValPrint = std::function<void(
const Space& home,
const Brancher&
b,
46 Var
x,
int i,
const Val& m,
50 template<
class View,
class Val>
54 typedef typename View::VarType
Var;
63 operator bool(
void)
const;
67 View
x,
int i,
const Val& m,
68 std::ostream& o)
const;
76 template<
class View,
class Val>
80 typedef typename View::VarType
Var;
87 operator bool(
void)
const;
91 View
x,
int i,
const Val& m,
92 std::ostream& o)
const;
101 template<
class View,
class Val>
108 template<
class View,
class Val>
114 template<
class View,
class Val>
120 template<
class View,
class Val>
124 View
x,
int i,
const Val& m,
125 std::ostream& o)
const {
128 p()(home,
b,
a,xv,
i,m,o);
131 template<
class View,
class Val>
137 template<
class View,
class Val>
144 template<
class View,
class Val>
151 template<
class View,
class Val>
155 template<
class View,
class Val>
161 template<
class View,
class Val>
165 View,
int,
const Val&,
166 std::ostream&)
const {}
167 template<
class View,
class Val>
173 template<
class View,
class Val>
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
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.
View::VarType Var
The corresponding variable type.
Class storing a print function.
Class without print function.
SharedData< VarValPrint< Var, Val > > p
BrancherPrint(VarValPrint< Var, Val > vvp)
Initialize.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Base-class for branchers.
~SharedData(void)
Destructors.
void dispose(Space &home)
Delete.
BrancherNoPrint(VarValPrint< Var, Val > vvp)
Initialize.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
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.
Exception: invalid function
#define GECODE_VALID_FUNCTION(f)
Assert that a function is valid.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
void dispose(Space &home)
Delete.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
Class for sharing data between spaces.
Post propagator for SetVar x
Gecode toplevel namespace
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.