Searched refs:isSymbolicSampleIntegral (Results 1 – 2 of 2) sorted by relevance
667 bool isSymbolicSampleIntegral(unsigned row) const;
358 bool SymbolicLexSimplex::isSymbolicSampleIntegral(unsigned row) const { in isSymbolicSampleIntegral() function in SymbolicLexSimplex494 if (!isSymbolicSampleIntegral(u.pos)) in maybeGetNonIntegralVarRow()