#include <gugr_basics.h>
Public Methods | |
void * | operator new (size_t s) |
void | operator delete (void *p, size_t s) |
Public Attributes | |
graph_edge * | e |
rational | val |
graph_vertex * | v |
_cut_record * | next |
_cut_record * | prev |
|
Definition at line 401 of file gugr_basics.h. References gugr::cut_record_list, and gust::PoolFree().
00402 { 00403 PoolFree( p, s ); 00404 } |
|
Definition at line 394 of file gugr_basics.h. References gust::PoolAlloc().
00395 { 00396 size_t dummy; 00397 void *p = PoolAlloc( s, &dummy ); 00398 if( p == NULL ) throw PoolAllocError(); 00399 return(p); 00400 } |
|
Definition at line 387 of file gugr_basics.h. |
|
Definition at line 391 of file gugr_basics.h. |
|
Definition at line 392 of file gugr_basics.h. |
|
Definition at line 389 of file gugr_basics.h. |
|
Definition at line 388 of file gugr_basics.h. |