Lines Matching defs:levels
394 vector<pair<int,int> > levels;
398 levels.push_back(make_pair(pclauses[ci].second[2],ci));
400 sort(levels.begin(),levels.end());
402 build(levels[ii].second);
438 vector<pair<int,int> > levels;
441 levels.push_back(make_pair(pclauses[ci].second[2],ci));
443 sort(levels.begin(),levels.end());
445 build(levels[ii].second);