X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=funcnode.h;h=04665c5cff2886e782b965f243e56bf969d85c05;hp=0d0755dbed87006d814e737d695fe4b198eb2b70;hb=0acd7ac85bd6004e53e1283a2900ffef7debeed8;hpb=dc8e9b89ec62b6da4816ec4e31fe2971cbcdcb54;ds=sidebyside

diff --git a/funcnode.h b/funcnode.h
index 0d0755db..04665c5c 100644
--- a/funcnode.h
+++ b/funcnode.h
@@ -5,6 +5,7 @@
 #include "classlist.h"
 #include "threads-model.h"
 
+#define MAX_DIST 10
 typedef ModelList<FuncInst *> func_inst_list_mt;
 
 typedef enum edge_type {
@@ -55,6 +56,7 @@ public:
 
 	void add_out_edge(FuncNode * other);
 	ModelList<FuncNode *> * get_out_edges() { return &out_edges; }
+	int compute_distance(FuncNode * target, int max_step = MAX_DIST);
 
 	void print_predicate_tree();
 	void print_val_loc_map();