nnodes

int nnodes = 0

static

Definition at line 382 of file f4-monlookup.cpp.

Referenced by F4MonomialLookupTableT< Key >::debug_out(), MonomialIdeal::debug_out(), ResF4MonomialLookupTableT< Key >::debug_out(), F4MonomialLookupTableT< Key >::do_node(), MonomialIdeal::do_node(), and ResF4MonomialLookupTableT< Key >::do_node().