Lines Matching refs:solutions
46 /* Before solving, forced registers; after solving, solutions. */
47 unsigned *solutions;
67 l->solutions = calloc(sizeof(l->solutions[0]), node_count);
70 memset(l->solutions, ~0, sizeof(l->solutions[0]) * node_count);
80 free(l->solutions);
110 lcra_test_linear(struct lcra_state *l, unsigned *solutions, unsigned i)
113 signed constant = solutions[i];
116 if (solutions[j] == ~0) continue;
118 signed lhs = solutions[j] - constant;
134 if (l->solutions[step] != ~0) continue;
140 l->solutions[step] = r;
142 if (lcra_test_linear(l, l->solutions, step)) {
320 l->solutions[node] = 0;
353 signed solution = l->solutions[bi_get_node(index)];