Definition at line 420 of file NodeNetwork.hpp.
Referenced by is_processed_this_cycle(), and mark_processed().