Searched refs:t_i_upperBound (Results 1 – 1 of 1) sorted by relevance
5434 DifferenceLogicGraph::EpsRational t_i_upperBound = getUpperBound(t_i, queryType); in getUpperBound() local5435 if (t_i_upperBound.isFinite()) upperBound = upperBound + t_i_upperBound; in getUpperBound()