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