Searched defs:getLeader (Results 1 – 6 of 6) sorted by relevance
87 const ECValue *getLeader() const { in getLeader() function
131 static int getLeader(std::vector<int> &leaders, int v) { in getLeader() function
171 static int getLeader(int *leaders, int v) { in getLeader() function
135 static int getLeader(std::vector<int> &leaders, int v) { in getLeader() function
333 UserValue *getLeader() { in getLeader() function in __anon093131440411::UserValue
315 Value *getLeader() const { return RepLeader.first; } in getLeader() function in __anonb3555ec80111::CongruenceClass