Searched defs:nnegcliques (Results 1 – 1 of 1) sorted by relevance
225 …int nnegcliques; /**< number of cliques in the negated clique partition */ member7329 int nnegcliques; in propagateCons() local10910 int nnegcliques; in addNegatedCliques() local11214 int nnegcliques; in addCliques() local