Searched defs:getLeader (Results 1 – 6 of 6) sorted by relevance
82 const ECValue *getLeader() const { in getLeader() function
132 static int getLeader(std::vector<int> &leaders, int v) { in getLeader() function
170 static int getLeader(int *leaders, int v) { in getLeader() function
136 static int getLeader(std::vector<int> &leaders, int v) { in getLeader() function
329 UserValue *getLeader() { in getLeader() function in __anonfeb821960411::UserValue
314 Value *getLeader() const { return RepLeader; } in getLeader() function in __anon7b60129a0111::CongruenceClass [all...]