cast.hpp File Reference
(Revision: 14030)
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
Typedefs | |
typedef void(* | Gecode::VoidFunction )(void) |
Base type for any function pointer. | |
Functions | |
template<class T > | |
T | Gecode::ptr_cast (void *p) |
Cast p into pointer of type T. | |
template<class F1 , class F2 > | |
F1 | Gecode::function_cast (F2 f) |
Cast function pointer. |