Searched refs:doNonBranchingPivots (Results 1 – 2 of 2) sorted by relevance
631 LogicalResult doNonBranchingPivots();
502 LogicalResult SymbolicLexSimplex::doNonBranchingPivots() { in doNonBranchingPivots() function in SymbolicLexSimplex543 if (doNonBranchingPivots().failed()) { in computeSymbolicIntegerLexMin()