Home
last modified time | relevance | path

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

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

Completed in 15 milliseconds