59 const Simplex::Unknown &SimplexBase::unknownFromIndex(int index) const {  in unknownFromIndex()  function in SimplexBase
66   return unknownFromIndex(colUnknown[col]);  in unknownFromColumn()
71   return unknownFromIndex(rowUnknown[row]);  in unknownFromRow()
74 Simplex::Unknown &SimplexBase::unknownFromIndex(int index) {  in unknownFromIndex()  function in SimplexBase
81   return unknownFromIndex(colUnknown[col]);  in unknownFromColumn()
86   return unknownFromIndex(rowUnknown[row]);  in unknownFromRow()
625       const Unknown &u = unknownFromIndex(frame.splitIndex);  in computeSymbolicIntegerLexMin()
1233       Unknown &u = unknownFromIndex(index);  in undo()
1490     result.unknownFromIndex(result.colUnknown.back()).pos =  in makeProduct()
1495     result.unknownFromIndex(result.colUnknown.back()).pos =  in makeProduct()
1504     result.unknownFromIndex(result.rowUnknown.back()).pos =  in makeProduct()
1519     result.unknownFromIndex(result.rowUnknown.back()).pos =  in makeProduct()