Home
last modified time | relevance | path

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

/AOO41X/main/sccomp/source/solver/
H A Dsolver.cxx445 const std::vector<double>& rRightCoeff = aCellsHash[aRightAddr]; in solve() local
448 pValues[nVar] -= rRightCoeff[nVar+1]; in solve()
450 fRightValue += rRightCoeff[0]; // constant term in solve()