Searched defs:CongruenceClass (Results 1 – 1 of 1) sorted by relevance
292 class CongruenceClass { class 299 explicit CongruenceClass(unsigned ID) : ID(ID) {} in CongruenceClass() function in __anon33c65ffb0111::CongruenceClass 300 CongruenceClass(unsigned ID, std::pair<Value *, unsigned int> Leader, in CongruenceClass() function in __anon33c65ffb0111::CongruenceClass [all...]