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