Searched defs:nb_disjuncts (Results 1 – 2 of 2) sorted by relevance
174 size_t nb_disjuncts; in openscop_print_pdr_powerset() local207 size_t nb_disjuncts; in openscop_print_powerset_matrix() local525 int nb_disjuncts, i; in openscop_read_powerset_matrix() local
351 size_t nb_disjuncts; in ppl_print_powerset_matrix() local