decrements freshness indicator for particular mobile node concode_field_sep NodeRegister nodeRegister concode_elem_sep Map<Integer,MobileNode> pool concode_field_sep MobileNode addMobileNode concode_elem_sep MobileNodeManager addMobileNode concode_elem_sep void resetState concode_elem_sep boolean existsMobileNode concode_elem_sep MobileNode getMobileNode concode_elem_sep MobileNode getMobileNode concode_elem_sep void incReportFreshnessFor concode_elem_sep void tickReportFreshness concode_elem_sep Set<Integer> getMobileNodes concode_elem_sep boolean removeMobileNode concode_elem_sep Set<MobileNode> getFreshNodes
void function ( int arg0 ) { Integer loc0 = Integer . valueOf ( arg0 ) ; if ( ! pool . containsKey ( loc0 ) ) return ; MobileNode loc1 = this . pool . get ( loc0 ) ; loc1 . decReportFreshness ( 1 ) ; }