Searched refs:class_disjoint (Results 1 – 2 of 2) sorted by relevance
56 l->class_disjoint = calloc(sizeof(l->class_disjoint[0]), class_count * class_count); in lcra_alloc_equations()77 free(l->class_disjoint); in lcra_free()94 l->class_disjoint[(c1 * l->class_count) + c2] = true; in lcra_set_disjoint_class()95 l->class_disjoint[(c2 * l->class_count) + c1] = true; in lcra_set_disjoint_class()115 if (l->class_disjoint[(l->class[i] * l->class_count) + l->class[j]]) in lcra_add_node_interference()
66 bool *class_disjoint; member