X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=funcnode.cc;h=18d7771bfba63ff6460a29039a564be1cd4e4000;hp=bf8971bdfbf4de48eba3a53a20323358f3594477;hb=291ac33e363ce8a7b39441c0fa5c8e44ff84cdc6;hpb=0acd7ac85bd6004e53e1283a2900ffef7debeed8 diff --git a/funcnode.cc b/funcnode.cc index bf8971bd..18d7771b 100644 --- a/funcnode.cc +++ b/funcnode.cc @@ -640,6 +640,10 @@ void FuncNode::add_out_edge(FuncNode * other) } } +/* Compute the distance between this FuncNode and the target node. + * Return -1 if the target node is unreachable or the actual distance + * is greater than max_step. + */ int FuncNode::compute_distance(FuncNode * target, int max_step) { SnapList queue;