Searched refs:NumVariables (Results 1 – 5 of 5) sorted by relevance
27 STATISTIC(NumVariables, "Number of global variables removed");67 NumVariables++; in runOnModule()
34 STATISTIC(NumVariables, "Number of global variables removed");169 NumVariables += DeadGlobalVars.size(); in runOnModule()
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()