Lines Matching refs:follows
496 * "follows" is the user provided callback that defines the edges of the graph.
500 isl_bool (*follows)(__isl_keep EL *a, __isl_keep EL *b, void *user);
508 static isl_bool FN(LIST(EL),follows)(int i, int j, void *user)
512 return data->follows(data->list->p[i], data->list->p[j],
540 * a directed edge from node b to node a iff follows(a, b)
541 * returns 1. follows should return -1 on error.
543 * If SCC a contains a node i that follows a node j in another SCC b
544 * (i.e., follows(i, j, user) returns 1), then fn will be called on SCC a
551 isl_bool (*follows)(__isl_keep EL *a, __isl_keep EL *b, void *user),
555 S(LIST(EL),foreach_scc_data) data = { list, follows, follows_user };
569 g = isl_tarjan_graph_init(ctx, n, &FN(LIST(EL),follows), &data);