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>
115 template<
class View,
class Val>
121 template<
class View,
class Val>
125 View
x,
int i,
const Val& m,
126 std::ostream& o)
const {
129 p()(home,
b,
a,xv,
i,m,o);
132 template<
class View,
class Val>
138 template<
class View,
class Val>
145 template<
class View,
class Val>
151 template<
class View,
class Val>
156 template<
class View,
class Val>
162 template<
class View,
class Val>
166 View,
int,
const Val&,
167 std::ostream&)
const {}
168 template<
class View,
class Val>
174 template<
class View,
class Val>
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
VarImp * varimp(void) const
Return variable implementation of variable.
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.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Base-class for branchers.
void dispose(Space &home)
Delete.
struct Gecode::@579::NNF::@61::@62 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
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
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.