Searched refs:NumVariables (Results 1 – 4 of 4) sorted by relevance
99 const int num_variables = NumVariables(); in LoadFromFile()106 y_delta_indices_.resize(NumVariables()); in LoadFromFile()
105 int NumVariables() const { in NumVariables() function
121 for (int i = 0; i < foe.NumVariables(); ++i) { in CreateProblem()
34 STATISTIC(NumVariables, "Number of global variables removed");176 NumVariables += DeadGlobalVars.size(); in runOnModule()