26.10.3 パス検索フィルタ

グラフ内の出力頂点と入力頂点の間の最短パスを検索するときに、フィルタを使用して、分析されるエッジを制限できます。

エッジ・フィルタ式は、グラフのトラバース中にアクセスされた各エッジに対して評価されます。フィルタがエッジでfalseに評価された場合、このエッジは無視され、結果の最短パスには含められません。

また、パスの検索に頂点フィルタを使用することもできます。

頂点フィルタ式は、出力頂点と入力頂点を除き、グラフのトラバース中にアクセスされた各頂点に対して評価されます。

フィルタが頂点でfalseに評価された場合、この頂点へのエッジおよびこの頂点のすべての出力エッジは無視されます。この頂点は結果の最短パスには含められません。

出力頂点および入力頂点はグラフ内の任意の頂点にでき、フィルタはそれらについては評価されません。