Lines Matching defs:num
28 box *num;
50 : reduce_size(is_small), num(pp), den(qq)
57 delete num;
70 int res = num->compute_metrics(style);
72 mark_uid = num->uid;
83 uid, num->uid, den->uid);
97 uid, num->uid, uid, axis_height, default_rule_thickness,
107 uid, uid, num->uid);
130 uid, num->uid);
133 num->output();
139 printf("\\h'-\\n[" WIDTH_FORMAT "]u'", num->uid);
141 uid, num->uid);
184 num->debug_print();
195 num->check_tabs(level + 1);