Searched refs:CommonGens (Results 1 – 1 of 1) sorted by relevance
1083 dynamic_bitset CommonGens(nr_gen); in find_new_facets() local1262 CommonGens = RelGen_PosHyp & NegHyp_Pointer->GenInHyp; in find_new_facets()1281 … if (CommonGens.is_subset_of(*a) && (*a != PosHyp_Pointer->GenInHyp) && in find_new_facets()