Searched defs:NumVariables (Results 1 – 2 of 2) sorted by relevance
31 unsigned NumVariables = Constraints[0].size(); in eliminateUsingFM() local
167 int64 NumVariables() const { return num_variables_; } in NumVariables() function