Lines Matching refs:follows
60 * in the graph with g->len nodes and with edges defined by "follows".
63 isl_bool (*follows)(int i, int j, void *user), void *user)
83 f = follows(i, j, user);
90 isl_tarjan_components(g, j, follows, user);
110 /* Decompose the graph with "len" nodes and edges defined by "follows"
112 * follows(i, j, user) should return 1 if "i" follows "j" and 0 otherwise.
115 * If SCC a contains a node i that follows a node j in another SCC b
116 * (i.e., follows(i, j, user) returns 1), then SCC a will appear after SCC b
120 isl_bool (*follows)(int i, int j, void *user), void *user)
131 if (isl_tarjan_components(g, i, follows, user) < 0)
138 /* Decompose the graph with "len" nodes and edges defined by "follows"
141 * follows(i, j, user) should return 1 if "i" follows "j" and 0 otherwise.
148 int node, isl_bool (*follows)(int i, int j, void *user), void *user)
155 if (isl_tarjan_components(g, node, follows, user) < 0)