Home
last modified time | relevance | path

Searched refs:itb1 (Results 1 – 6 of 6) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Inferences/
H A DSuperposition.cpp210 auto itb1 = premise->getSelectedLiteralIterator(); in generateClauses() local
211 …auto itb2 = getMapAndFlattenIterator(itb1,EqHelper::SuperpositionLHSIteratorFn(_salg->getOrdering(… in generateClauses()
/dports/science/libghemical/libghemical-3.0.0/src/
H A Deng1_mm_prmfit.cpp316 …iter_bl itb1 = find(GetSetup()->GetModel()->GetBondsBegin(), GetSetup()->GetModel()->GetBondsEnd()… in eng1_mm_prmfit() local
324 query.bndtp[0] = (* itb1).bt.GetValue(); in eng1_mm_prmfit()
335 newbt3.bt[0] = (* itb1).bt.GetValue(); // save also bondtype information... in eng1_mm_prmfit()
H A Dmodel.cpp1937 iter_bl itb1 = bond_list.begin(); in RemoveHydrogens() local
1938 while (itb1 != bond_list.end()) in RemoveHydrogens()
1941 if ((* itb1).atmr[0]->el.GetAtomicNumber() == 1) flag = true; in RemoveHydrogens()
1942 if ((* itb1).atmr[1]->el.GetAtomicNumber() == 1) flag = true; in RemoveHydrogens()
1946 RemoveBond(itb1); // now this iterator is invalidated?!?!?! in RemoveHydrogens()
1947 itb1 = bond_list.begin(); in RemoveHydrogens()
1949 else itb1++; in RemoveHydrogens()
H A Deng1_mm_default.cpp332 …iter_bl itb1 = find(GetSetup()->GetModel()->GetBondsBegin(), GetSetup()->GetModel()->GetBondsEnd()… in eng1_mm_default_bt() local
344 bt[0] = (* itb1).bt.GetValue(); in eng1_mm_default_bt()
359 query.bndtp[0] = (* itb1).bt.GetValue(); in eng1_mm_default_bt()
H A Deng1_mm_tripos52.cpp278 …iter_bl itb1 = find(GetSetup()->GetModel()->GetBondsBegin(), GetSetup()->GetModel()->GetBondsEnd()… in eng1_mm_tripos52_bt() local
287 bt[0] = (* itb1).bt.GetValue(); in eng1_mm_tripos52_bt()
H A Dseqbuild.cpp910 iter_bl itb1 = find(mdl->GetBondsBegin(), mdl->GetBondsEnd(), b1); in Identify() local
911 bool b1exists = (itb1 != mdl->GetBondsEnd()); in Identify()