/// <summary>
/// Adds a node to the list of known nodes.
/// </summary>
/// <param name="node">The node to add.</param>
/// <returns>
/// The index of the node in the list of known nodes
/// after the addition.
/// </returns>
public int AddToKnownNodes(NodeT node)
{
int i = KnownNodes.IndexOf(node);
if (i < 0)
{
i = KnownNodes.Count;
KnownNodes.Add(node);
}
return(i);
}
