reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2333 return obj_read_poly(s, set, v, n); 2338 pwqp = read_term(s, set, v); 2343 pwqp = read_term(s, set, v); 2352 set = read_optional_formula(s, set, v, 0); 2355 vars_drop(v, v->n - n); 2355 vars_drop(v, v->n - n);