reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1632 int n = v->n; 1636 map = read_defined_var_list(s, v, map, rational); 1641 map = read_formula(s, v, map, rational); 1644 vars_drop(v, v->n - n); 1644 vars_drop(v, v->n - n);