add isl_union_map_plain_is_empty
[isl.git] / isl_tarjan.h
blobaf3452cc867941a5a916bb953b8e8279c21704b4
1 #ifndef ISL_TARJAN_H
2 #define ISL_TARJAN_H
4 /* Structure for representing the nodes in the graph being traversed
5 * using Tarjan's algorithm.
6 * index represents the order in which nodes are visited.
7 * min_index is the index of the root of a (sub)component.
8 * on_stack indicates whether the node is currently on the stack.
9 */
10 struct isl_tarjan_node {
11 int index;
12 int min_index;
13 int on_stack;
16 /* Structure for representing the graph being traversed
17 * using Tarjan's algorithm.
18 * len is the number of nodes
19 * node is an array of nodes
20 * stack contains the nodes on the path from the root to the current node
21 * sp is the stack pointer
22 * index is the index of the last node visited
23 * order contains the elements of the components separated by -1
24 * op represents the current position in order
26 struct isl_tarjan_graph {
27 int len;
28 struct isl_tarjan_node *node;
29 int *stack;
30 int sp;
31 int index;
32 int *order;
33 int op;
36 struct isl_tarjan_graph *isl_tarjan_graph_init(isl_ctx *ctx, int len,
37 isl_bool (*follows)(int i, int j, void *user), void *user);
38 struct isl_tarjan_graph *isl_tarjan_graph_component(isl_ctx *ctx, int len,
39 int node, isl_bool (*follows)(int i, int j, void *user), void *user);
40 struct isl_tarjan_graph *isl_tarjan_graph_free(struct isl_tarjan_graph *g);
42 #endif