/dports/math/yices/yices-2.6.2/src/mcsat/bv/ |
H A D | bv_evaluator.c | 166 if (eval_level_i > *eval_level) { *eval_level = eval_level_i; } in bv_evaluator_run_bv_array() 351 *eval_level = 0; in bv_evaluator_run_term() 361 if (eval_level_i > *eval_level) { *eval_level = eval_level_i; } in bv_evaluator_run_term() 372 *eval_level = 0; in bv_evaluator_run_term() 397 *eval_level = 0; in bv_evaluator_run_term() 409 if (eval_level_i > *eval_level) { *eval_level = eval_level_i; } in bv_evaluator_run_term() 505 *eval_level = 0; in bv_evaluator_run_atom() 512 *eval_level = 0; in bv_evaluator_run_atom() 520 if (level_i > *eval_level) { *eval_level = level_i; } in bv_evaluator_run_atom() 529 *eval_level = 0; in bv_evaluator_run_atom() [all …]
|
/dports/audio/snd/snd-21.2/ |
H A D | clm.rb | 2435 eval_level = 0 2440 eval_level += 1 2442 eval_level -= 1 2445 eval_level 2475 eval_level = 0 2477 prompt = Snd_prompt.new(eval_level) 2482 eval_level += Snd_eval.count_level(line) 2483 if eval_level.negative? 2484 eval_level = 0 2487 if eval_level.zero? [all …]
|
/dports/math/giacxcas/giac-1.6.0/src/ |
H A D | mathml.cc | 259 gen gg=eval(g,eval_level(contextptr),contextptr); 468 …s+mathml_equal2arrow(v[1],contextptr)+"</munder>"+gen2mathml(eval(v[0],eval_level(contextptr),cont… 473 +gen2mathml(eval(v[0],eval_level(contextptr),contextptr),contextptr); 474 if (is_zero(eval(v[2]+1,eval_level(contextptr),contextptr))) 476 +gen2mathml(eval(v[0],eval_level(contextptr),contextptr),contextptr); 478 …s+mathml_equal2arrow(v[1],contextptr)+"</munder>"+gen2mathml(eval(v[0],eval_level(contextptr),cont… 499 …+"<mi>"+v[3].print(contextptr)+"</mi></msubsup>"+gen2mathml(eval(v.front(),eval_level(contextptr),… 1298 if (is_zero(eval(re(A,contextptr)-re(B,contextptr),eval_level(contextptr),contextptr))){ 1302 …gen a=eval((im(A,contextptr)-im(B,contextptr))/(re(A,contextptr)-re(B,contextptr)),eval_level(cont… 1303 gen b=eval(im(A,contextptr)-a*re(A,contextptr),eval_level(contextptr),contextptr); [all …]
|
H A D | ti89.cc | 102 v.front()=eval(v.front(),eval_level(contextptr),contextptr); in _seq() 105 int s=g1.val,l=eval_level(contextptr); in _seq() 1412 g1=eval(g,eval_level(contextptr),contextptr); in _exp2list() 1602 gen tmp=g.eval(eval_level(contextptr),contextptr); in _product() 1669 gen valeur=eval(g,eval_level(contextptr),contextptr); in _SortA() 1693 gen valeur=eval(g,eval_level(contextptr),contextptr); in _SortD() 1832 gen args=eval(g,eval_level(contextptr),contextptr); in _mRow() 1858 gen args=eval(g,eval_level(contextptr),contextptr); in _mRowAdd() 1888 gen args=eval(g,eval_level(contextptr),contextptr); in _rowAdd() 2335 gen tmp=eval(g,eval_level(contextptr),contextptr); in _RclPic() [all …]
|
H A D | rpn.cc | 489 …o(test.eval(eval_level(newcontextptr),newcontextptr).evalf(eval_level(contextptr),newcontextptr));… in _RPN_FOR() 620 …if (!is_zero(tmp.eval(eval_level(contextptr),contextptr).evalf(eval_level(contextptr),contextptr))) in _RPN_UNTIL() 1418 gen g=eval(args,eval_level(contextptr),contextptr); in _ADDROW() 1456 gen g=eval(args,eval_level(contextptr),contextptr); in _ADDCOL() 1521 gen g=eval(args,eval_level(contextptr),contextptr); in _SWAPCOL() 1960 gen tmp1=eval(tmp,eval_level(contextptr),contextptr); in hp38_eval() 1970 v[i]=eval(v[i],eval_level(contextptr),contextptr); in hp38_eval() 2274 …return makevecteur(eval(a,eval_level(contextptr),contextptr),eval(b, eval_level(contextptr),contex… in _IS_LINEAR() 2790 v[i]=eval(v[i],eval_level(contextptr),contextptr); in _RECURSE() 2810 gen v1=eval(v[1],eval_level(contextptr),contextptr); in _MAKEMAT() [all …]
|
H A D | prog.cc | 187 return std::max(1,eval_level(contextptr)); in prog_eval_level() 1906 int evallevel=eval_level(contextptr); in ifte() 1939 …test=equaltosame(test.eval(eval_level(contextptr),contextptr)).eval(eval_level(contextptr),context… in ifte() 2479 int eval_lev=eval_level(newcontextptr); in _for() 3848 res=it->eval(eval_level(contextptr),contextptr); in _case() 3854 res=it->eval(eval_level(contextptr),contextptr); in _case() 6471 return eval_level(contextptr); in giac_eval_level() 6472 eval_level(contextptr)=args.val; in giac_eval_level() 13048 …test=equaltosame(test.eval(eval_level(contextptr),contextptr)).eval(eval_level(contextptr),context… in _piecewise() 13450 f=eval(f,eval_level(contextptr),contextptr); in _struct_dot() [all …]
|
H A D | intg.cc | 3490 gen tmp=eval(v[0],eval_level(contextptr),contextptr); in _integrate() 3496 gen tmp=eval(v[0],eval_level(contextptr),contextptr); in _integrate() 4271 sum=sum+evalf(fy,eval_level(contextptr),contextptr); in evalf_int() 4313 sum=sum+evalf(fy,eval_level(contextptr),contextptr); in evalf_int() 5145 v[2]=eval(v[2],eval_level(contextptr),contextptr); 5146 v[3]=eval(v[3],eval_level(contextptr),contextptr); 5194 int level=eval_level(contextptr); 5260 v[1]=eval(v[1],eval_level(contextptr),contextptr); in maple_sum_product_unquote() 5377 f=eval(f,eval_level(contextptr),contextptr); in _sum() 5384 f=eval(f,eval_level(contextptr),contextptr); in _sum() [all …]
|
H A D | solve.cc | 222 gen g2=g._IDNTptr->eval(eval_level(contextptr),g,contextptr); in find_excluded() 435 sol=evalf(sol,eval_level(contextptr),contextptr); in solve_ckrange() 495 tmp=evalf(tmp,eval_level(contextptr),contextptr); in solve_ckrange() 506 tmp=evalf(tmp,eval_level(contextptr),contextptr); in solve_ckrange() 3718 tmp=evalf(tmp,eval_level(contextptr),contextptr); in in_fsolve() 3740 tmp=evalf(tmp,eval_level(contextptr),contextptr); in in_fsolve() 3910 gen g=evalf(gguess,eval_level(contextptr),contextptr); in in_fsolve() 3965 gen low=w[0].evalf(eval_level(contextptr),contextptr); in in_fsolve() 3966 gen high=w[1].evalf(eval_level(contextptr),contextptr); in in_fsolve() 4329 v[1]=eval(v[1],eval_level(contextptr),contextptr); in _linsolve() [all …]
|
H A D | symbolic.cc | 1187 res=equaltosame(res).eval(eval_level(contextptr),contextptr); in nr_eval() 1189 res=res.evalf_double(eval_level(contextptr),contextptr); in nr_eval() 1272 res=equaltosame(res).eval(eval_level(contextptr),contextptr); in nr_eval() 1274 res=res.evalf_double(eval_level(contextptr),contextptr); in nr_eval() 1429 int & elevel=eval_level(contextptr); in eval()
|
H A D | plot.cc | 1213 val=evalf_double(val,eval_level(contextptr),contextptr); in density() 1486 yy=y.evalf2double(eval_level(contextptr),newcontextptr); in plotfunc() 1511 yy=y.evalf2double(eval_level(contextptr),newcontextptr); in plotfunc() 2200 e2=e2.evalf_double(eval_level(contextptr),contextptr); in funcplotfunc() 2201 e3=e3.evalf_double(eval_level(contextptr),contextptr); in funcplotfunc() 2372 gen e,a(args.evalf(eval_level(contextptr),contextptr)); in pointonoff() 2858 gen args=eval(args0,eval_level(contextptr),contextptr); in _droite() 8393 xy_=xy.evalf2double(eval_level(contextptr),newcontextptr); in plotparam() 10769 …gen(makevecteur(eval(v[0],eval_level(contextptr),contextptr),eval(v[1],eval_level(contextptr),cont… in _angleat() 12083 x0=evalf_double(x0,eval_level(contextptr),contextptr); in find_plotseq_args() [all …]
|
H A D | usual.cc | 3382 gen ab=a1.eval(eval_level(contextptr),contextptr); in sto() 4539 arg0=arg0.eval(eval_level(contextptr),contextptr); in assumesymbolic() 4558 arg1=v[0].eval(eval_level(contextptr),contextptr); in assumesymbolic() 4560 arg1=v[1].eval(eval_level(contextptr),contextptr); in assumesymbolic() 5402 return b.evalf(eval_level(contextptr),contextptr); in eval_except_equal() 5404 return b.eval(eval_level(contextptr),contextptr); in eval_except_equal() 5463 f=qf.eval(eval_level(contextptr),contextptr); in _of() 5466 gen ve=eval(v,eval_level(contextptr),contextptr); in _of() 5597 gen b=v.back().eval(eval_level(contextptr),contextptr); in _at() 5710 int el=eval_level(contextptr); in _ou() [all …]
|
H A D | Cfg.cc | 246 giac::eval_level(contextptr)= giac::DEFAULT_EVAL_LEVEL=do_eval_level; in cb_Xcas_Cas_setup_OK() 525 do_eval_level=giac::DEFAULT_EVAL_LEVEL=giac::eval_level(contextptr); in Xcas_load_cas_setup()
|
H A D | global.cc | 1314 int & eval_level(GIAC_CONTEXT){ in eval_level() function 1321 void eval_level(int b,GIAC_CONTEXT){ in eval_level() function 1401 eval_level(contextptr)=DEFAULT_EVAL_LEVEL; in cleanup_context() 2174 …history_out(context0).push_back(eval(history_in(context0)[k]._SYMBptr->feuille,eval_level(context0… in make_child() 2176 history_out(context0).push_back(eval(history_in(context0)[k],eval_level(context0),context0)); in make_child() 5205 protecteval(v[0],eval_level(contextptr),contextptr); in unarchive_session() 5209 protecteval(v[1],eval_level(contextptr),contextptr); in unarchive_session() 5214 protecteval(v[i],eval_level(contextptr),contextptr); in unarchive_session() 5223 history_out(contextptr).push_back(protecteval(replace,eval_level(contextptr),contextptr)); in unarchive_session() 5228 …history_out(contextptr)[i]=protecteval(history_in(contextptr)[i],eval_level(contextptr),contextptr… in unarchive_session()
|
H A D | Xcas1.cc | 1349 bool ok=make_thread(g,eval_level(contextptr),Xcas_eval_callback,res,contextptr); in Xcas_eval() 3005 gen tmps=vg[0].eval(eval_level(contextptr),contextptr); in makeform() 3013 o->value(vg[1].eval(eval_level(contextptr),contextptr).print(contextptr).c_str()); in makeform() 3023 g=g.eval(eval_level(contextptr),contextptr); in makeform() 3085 gen g=protecteval(vg[2],eval_level(contextptr),contextptr); in makeform() 3248 return res.eval(eval_level(contextptr),contextptr); in Xcas_fltk_input() 3364 giac::make_thread(g1,eval_level(contextptr),icas_eval_callback,&result,contextptr); in icas_eval() 3404 gg=eval(g1,eval_level(contextptr),contextptr); in icas_eval()
|
H A D | Tableur.cc | 222 protecteval(init,eval_level(contextptr),contextptr); in config() 1164 g=protecteval(g,eval_level(contextptr),contextptr); in cb_Sheet_Input() 1169 g=protecteval(g,eval_level(contextptr),contextptr); in cb_Sheet_Input() 1232 protecteval(spread_ptr->init,eval_level(contextptr),contextptr); in cb_Tableur_Init() 1422 protecteval(symb_sto(mat,g),eval_level(contextptr),contextptr); in cb_Tableur_Save_var()
|
H A D | global.h | 870 int & eval_level(GIAC_CONTEXT);
|
/dports/graphics/art/ART-1.9.3/rtengine/ |
H A D | iplocalcontrast.cc | 192 void eval_level(float **wl, int level, int W_L, int H_L, float *mean, float *meanN, float *sigma, f… in eval_level() function 246 eval_level(wl, lvl, Wlvl_L, Hlvl_L, mean, meanN, sigma, sigmaN, MaxP, MaxN, multiThread); in evaluate_params()
|
/dports/shells/fish/fish-3.3.1/src/ |
H A D | parser.h | 266 int eval_level = -1; variable
|
H A D | parse_execution.cpp | 1279 scoped_push<int> saved_eval_level(&parser->eval_level, parser->eval_level + 1); in run_1_job() 1333 profile_item->level = parser->eval_level; in run_1_job() 1415 profile_item->level = parser->eval_level; in run_1_job()
|
H A D | parser.cpp | 496 if (eval_level <= FISH_MAX_STACK_DEPTH) { in function_stack_is_overflowing()
|
/dports/math/yices/yices-2.6.2/src/mcsat/bv/explain/ |
H A D | arith.c | 358 uint32_t eval_level = 0; in bv_arith_init_side() local 359 const mcsat_value_t* value = bv_evaluator_evaluate_term(exp->super.eval, polyrest, &eval_level); in bv_arith_init_side() 685 uint32_t eval_level = 0; in cover() local 686 assert(bv_evaluator_evaluate_term(exp->super.eval, longest->reason, &eval_level)->b); in cover() 687 (void) eval_level; in cover()
|
/dports/lang/gnu-cobol/gnucobol-3.1.2/cobc/ |
H A D | parser.c | 246 static int eval_level; variable 1081 eval_level = 0; in clear_initial_values() 21997 eval_level++; in yyparse() 21998 if (eval_level >= EVAL_DEPTH) { in yyparse() 22001 eval_level = 0; in yyparse() 22007 eval_check[eval_level][eval_inc] = NULL; in yyparse() 22025 eval_level--; in yyparse() 22046 eval_check[eval_level][eval_inc++] = yyvsp[0]; in yyparse() 22061 eval_check[eval_level][eval_inc++] = NULL; in yyparse() 22076 eval_check[eval_level][eval_inc++] = cb_false; in yyparse() [all …]
|
H A D | parser.y | 204 static int eval_level; variable 1039 eval_level = 0; in clear_initial_values() 12550 eval_level++; 12551 if (eval_level >= EVAL_DEPTH) { 12554 eval_level = 0; 12560 eval_check[eval_level][eval_inc] = NULL; 12579 eval_level--; 12593 eval_check[eval_level][eval_inc++] = $1; 12604 eval_check[eval_level][eval_inc++] = NULL; 12615 eval_check[eval_level][eval_inc++] = cb_false; [all …]
|
/dports/math/giacxcas/giac-1.6.0/doc/pt/ |
H A D | aide_cas | 2313 # eval_level
|
/dports/math/giacxcas/giac-1.6.0/doc/zh/ |
H A D | aide_cas | 2313 # eval_level
|