Searched defs:CongruenceClass (Results 1 – 1 of 1) sorted by relevance
292 class CongruenceClass { class299 explicit CongruenceClass(unsigned ID) : ID(ID) {} in CongruenceClass() function in __anonc9d17a0b0111::CongruenceClass300 CongruenceClass(unsigned ID, Value *Leader, const Expression *E) in CongruenceClass() function in __anonc9d17a0b0111::CongruenceClass