39 template<
class Var,
class Val>
40 using VarValPrint = std::function<void(
const Space& home,
const Brancher&
b,
42 Var
x,
int i,
const Val& m,
46 template<
class View,
class Val>
50 typedef typename View::VarType
Var;
59 operator bool(
void)
const;
63 View
x,
int i,
const Val& m,
64 std::ostream& o)
const;
72 template<
class View,
class Val>
76 typedef typename View::VarType
Var;
83 operator bool(
void)
const;
87 View
x,
int i,
const Val& m,
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>
120 View
x,
int i,
const Val& m,
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>
161 View,
int,
const Val&,
162 std::ostream&)
const {}
163 template<
class View,
class Val>
169 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.
Base-class for branchers.
Gecode::IntArgs i({1, 2, 3, 4})
~SharedData(void)
Destructors.
void dispose(Space &home)
Delete.
struct Gecode::@593::NNF::@62::@63 b
For binary nodes (and, or, eqv)
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.
void dispose(Space &home)
Delete.
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.
struct Gecode::@593::NNF::@62::@64 a
For atomic nodes.
View::VarType Var
The corresponding variable type.