<F>型変数から<T>型変数へのルートを辿るためのメソッドです。 DeterminateOrder()()()()が終了した後でのみ意味があります。 もし、ある Variable(node とします)が<F>型変数から<T>型変数に至るルート上にあるなら node.NextVariableToT() はルート上の次の　Variable　になります。 node が<T>型なら、node.NextVariableToT()は一対一に対応している<F>型変数を返します(ループになります)。 node が<F>～<T>ルート上にないときは null を返します。 DeterminateOrder()が ERROR_FT_ROUTE を返したときは、 <F>～<T>ルートがどこまで対応できたのか調べることができます。

public Variable NextVariableToT()

Public Function NextVariableToT As Variable

public:
Variable^ NextVariableToT()