log_knowledge


Description:

public void log_knowledge (int my_seq_num, RoutesSet destinations)