Compute the threads that a paused thread my wait for

[c11tester.git] / funcnode.h

diff --git a/funcnode.h b/funcnode.h
index 0d0755dbed87006d814e737d695fe4b198eb2b70..04665c5cff2886e782b965f243e56bf969d85c05 100644 (file)
--- a/funcnode.h
+++ b/funcnode.h
@@ -5,6 +5,7 @@
 #include "classlist.h"
 #include "threads-model.h"
 
 #include "classlist.h"
 #include "threads-model.h"
 

+#define MAX_DIST 10

 typedef ModelList<FuncInst *> func_inst_list_mt;
 
 typedef enum edge_type {
 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; }
 
        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();
 
        void print_predicate_tree();
        void print_val_loc_map();