Searched refs:NUM (Results 1 – 2 of 2) sorted by relevance
49 #define OVERLOAD_SELECT(NAME, NUM) OVERLOAD_CAT(NAME##_, NUM) argument
937 static const std::string NUM = "(\\d+)"; in addForwardChainStats() local940 static const std::string COUNTERS = "\\s*" + NUM + "\\s+" + NUM + in addForwardChainStats()