Searched refs:set_numeric_label (Results 1 – 3 of 3) sorted by relevance
87 | NUMBER ':' { set_numeric_label($1); }
158 void set_numeric_label(int);
127 set_numeric_label(int lnum) in set_numeric_label() function