Searched refs:ineqEntry (Results 1 – 2 of 2) sorted by relevance
1420 const Ineq& ineqEntry = listOfDBIneqs[i]; in projectInequalities() local1421 const Theorem& ineqThm = ineqEntry.ineq(); in projectInequalities()1422 if(!isStale(ineqEntry)) { in projectInequalities()
1783 const Ineq& ineqEntry = listOfDBIneqs[i]; in projectInequalities() local1784 … const Theorem& ineqThm = ineqEntry.ineq(); //inequalityToFind(ineqEntry.ineq(), isolatedVarOnRHS); in projectInequalities()1788 if(!isStale(ineqEntry)) { in projectInequalities()