Searched defs:numVar (Results 1 – 3 of 3) sorted by relevance
23 unsigned numVar = cone.getNumCols() - 1; in getDual() local 90 unsigned numVar = cone.getNumVars(); in computeUnimodularConeGeneratingFunction() local
1495 unsigned numVar = a.getNumVariables() + b.getNumVariables(); makeProduct() local
1478 std::int64_t numVar = sinkVectors->v.size(); CheckOrderedDependClause() local