48 template<
class F1,
class F2>
55 return static_cast<T
>(
p);
58 template<
class F1,
class F2>
int p
Number of positive literals for node type.
F1 function_cast(F2 f)
Cast function pointer.
void(* VoidFunction)(void)
Base type for any function pointer.
T ptr_cast(void *p)
Cast p into pointer of type T.
Gecode toplevel namespace