#include <rm3_global.h>
Public Attributes | |
int | number_of_total_nodes |
int | number_of_cut_nodes |
int | number_of_visited_nodes |
int | number_of_cuts |
gdt::gdtmap< int, int > | N |
Definition at line 143 of file rm3_global.h.
Definition at line 145 of file rm3_global.h.
Definition at line 146 of file rm3_global.h.
Definition at line 147 of file rm3_global.h.
Definition at line 148 of file rm3_global.h.
Definition at line 149 of file rm3_global.h.