#include <heap.hpp>
Definition at line 259 of file heap.hpp.
Reimplemented from void_binary_helper< heap< C > >.
Reimplemented from void_binary_helper< heap< C > >.
Definition at line 272 of file heap.hpp.
References Heap, mmx::N(), and mmx::push().
00272 { 00273 Heap h; 00274 vector<generic> v= as<vector<generic> > (x); 00275 for (nat i=0; i<N(v); i++) push (h, v[i]); 00276 return h; }
Reimplemented from void_binary_helper< heap< C > >.
Definition at line 268 of file heap.hpp.
00268 { 00269 vector<generic> r; 00270 for (nat i=0; i<N(v); i++) r << as<generic> (v[i]); 00271 return as<generic> (r); }
static generic full_type_name | ( | ) | [inline, static] |
Reimplemented from void_binary_helper< heap< C > >.
Definition at line 262 of file heap.hpp.
References mmx::C, Full_type_name, and mmx::gen().
00262 { 00263 return gen ("Heap", Full_type_name (C)); }
static string short_type_name | ( | ) | [inline, static] |
Reimplemented from void_binary_helper< heap< C > >.
Definition at line 260 of file heap.hpp.
References mmx::C, and Short_type_name.
00260 { 00261 return "H" * Short_type_name (C); }
Reimplemented from void_binary_helper< heap< C > >.
Definition at line 264 of file heap.hpp.
References mmx::N().
00264 { 00265 return N(v); }
Reimplemented from void_binary_helper< heap< C > >.
Definition at line 277 of file heap.hpp.
References mmx::copy(), Heap, mmx::N(), and mmx::pull().