Searched refs:NegHyp_Pointer (Results 1 – 1 of 1) sorted by relevance
1080 FACETDATA<Integer>*PosHyp_Pointer, *NegHyp_Pointer; // pointers to current hyperplanes in find_new_facets() local1140 NegHyp_Pointer = Neg_Non_Simp[j]; in find_new_facets()1142 if (PosHyp_Pointer->Ident == NegHyp_Pointer->Mother || in find_new_facets()1144 … add_hyperplane(new_generator, *PosHyp_Pointer, *NegHyp_Pointer, NewHypsNonSimp[i], in find_new_facets()1149 bool extension_test = PosHyp_Pointer->BornAt == NegHyp_Pointer->BornAt || in find_new_facets()1150 … (PosHyp_Pointer->BornAt < NegHyp_Pointer->BornAt && NegHyp_Pointer->Mother != 0) || in find_new_facets()1175 if (!NegHyp_Pointer->GenInHyp.test(key[k])) { in find_new_facets()1194 if (!NegHyp_Pointer->GenInHyp.test(key[k])) { in find_new_facets()1211 … add_hyperplane(new_generator, *PosHyp_Pointer, *NegHyp_Pointer, NewHypsNonSimp[i], in find_new_facets()1262 CommonGens = RelGen_PosHyp & NegHyp_Pointer->GenInHyp; in find_new_facets()[all …]