Searched defs:getLeader (Results 1 – 6 of 6) sorted by relevance
159 static int getLeader(int *leaders, int v) { in getLeader() function
132 static int getLeader(std::vector<int> &leaders, int v) { in getLeader() function
82 const ECValue *getLeader() const { in getLeader() function
136 static int getLeader(std::vector<int> &leaders, int v) { in getLeader() function
328 UserValue *getLeader() { in getLeader() function in __anon5b3cf91b0411::UserValue
317 Value *getLeader() const { return RepLeader; } in getLeader() function in __anon1f4f44df0111::CongruenceClass