39 template<
class Var,
class Val>
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>
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int p
Number of positive literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Class without print function.
void dispose(Space &home)
Delete.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
View::VarType Var
The corresponding variable type.
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.
Class storing a print function.
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.
BrancherPrint(VarValPrint< Var, Val > vvp)
Initialize.
SharedData< VarValPrint< Var, Val > > p
void dispose(Space &home)
Delete.
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.
VarImp * varimp(void) const
Return variable implementation of variable.
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.