Searched defs:consnamefreq (Results 1 – 1 of 1) sorted by relevance
2686 CONSNAMEFREQ* consnamefreq = (CONSNAMEFREQ*)elem; in SCIP_DECL_HASHGETKEY() local3182 CONSNAMEFREQ* consnamefreq; in checkConsnames() local