Home
last modified time | relevance | path

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

/aoo41x/main/sccomp/source/solver/
H A Dsolver.cxx435 const std::vector<double>& rLeftCoeff = aCellsHash[aLeftAddr]; in solve() local
438 pValues[nVar] = rLeftCoeff[nVar+1]; in solve()
441 double fRightValue = -rLeftCoeff[0]; in solve()

Completed in 13 milliseconds