Ntk.Core.NeighbourManager.delete_neighbour Reference Manual
Packages
vd
Ntk
Core
NeighbourManager
radar
NeighbourManager
NeighbourManager.fake
_truncate
add_neighbour
declare_dead
delete_neighbour
empty
going_add
going_delete
going_rem_change
key_to_neighbour
neighbour_list
rem_change_neighbour
store
neighbour_deleted
neighbour_going_deleted
neighbour_going_new
neighbour_going_rem_chged
neighbour_new
neighbour_rem_chged
delete_neighbour
Description:
public
void
delete_neighbour
(
string
key,
Neighbour
old_val)
Emits signal for a dead neighbour.