Home
last modified time | relevance | path

Searched refs:eval_level (Results 1 – 25 of 43) sorted by relevance

12

/dports/math/yices/yices-2.6.2/src/mcsat/bv/
H A Dbv_evaluator.c166 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 Dclm.rb2435 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 Dmathml.cc259 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 Dti89.cc102 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 Drpn.cc489 …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 Dprog.cc187 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 Dintg.cc3490 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 Dsolve.cc222 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 Dsymbolic.cc1187 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 Dplot.cc1213 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 Dusual.cc3382 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 DCfg.cc246 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 Dglobal.cc1314 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 DXcas1.cc1349 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 DTableur.cc222 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 Dglobal.h870 int & eval_level(GIAC_CONTEXT);
/dports/graphics/art/ART-1.9.3/rtengine/
H A Diplocalcontrast.cc192 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 Dparser.h266 int eval_level = -1; variable
H A Dparse_execution.cpp1279 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 Dparser.cpp496 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 Darith.c358 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 Dparser.c246 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 Dparser.y204 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 Daide_cas2313 # eval_level
/dports/math/giacxcas/giac-1.6.0/doc/zh/
H A Daide_cas2313 # eval_level

12