Searched refs:print_intvar_counter (Results 1 – 2 of 2) sorted by relevance
34 std::string print_intvar_counter(GIAC_CONTEXT);
62 string print_intvar_counter(GIAC_CONTEXT){ in print_intvar_counter() function156 identificateur x(string("n_")+print_intvar_counter(contextptr)); in isolate_sin()165 identificateur x(string("n_")+print_intvar_counter(contextptr)); in isolate_cos()173 identificateur x(string("n_")+print_intvar_counter(contextptr)); in isolate_tan()200 identificateur * x=new identificateur(string("n_")+print_intvar_counter(contextptr)); in isolate_sinh()207 identificateur * x=new identificateur(string("n_")+print_intvar_counter(contextptr)); in isolate_cosh()213 identificateur * x=new identificateur(string("n_")+print_intvar_counter(contextptr)); in isolate_tanh()2115 gen tmp("d_"+print_intvar_counter(contextptr),contextptr); in solve_cleaned()2117 gen tmp("c__"+print_intvar_counter(contextptr),contextptr); in solve_cleaned()6354 gen tmp("c__"+print_intvar_counter(contextptr),contextptr); in gsolve()