| /dports/math/vampire/vampire-4.5.1/scripts/papers/ |
| H A D | eval_preprocessing_vmcai.sh | 16 function eval_status() { function
29 eval_status $F
30 eval_status $F --aig_conditional_rewriting on
31 …eval_status $F --predicate_definition_merging on --flatten_top_level_conjunctions on --predicate_d…
32 …eval_status $F --predicate_definition_merging on --flatten_top_level_conjunctions on --predicate_d…
33 …eval_status $F --predicate_definition_merging on --flatten_top_level_conjunctions on --predicate_d…
|
| H A D | eval_preprocessing_vmcai_z3.sh | 14 function eval_status() { function
29 eval_status $F
30 eval_status $F --aig_conditional_rewriting on
31 …eval_status $F --predicate_definition_merging on --flatten_top_level_conjunctions on --predicate_d…
32 …eval_status $F --predicate_definition_merging on --flatten_top_level_conjunctions on --predicate_d…
33 …eval_status $F --predicate_definition_merging on --flatten_top_level_conjunctions on --predicate_d…
|
| H A D | eval_preprocessing.sh | 16 function eval_status() { function
29 eval_status $F
30 eval_status $F $PARAMS
|
| /dports/science/py-scikit-optimize/scikit-optimize-0.9.0/skopt/ |
| H A D | callbacks.py | 73 eval_status = "Evaluating function"
78 eval_status = "Evaluation done"
83 % (iter_no, status, eval_status))
87 % (iter_no, status, eval_status))
|
| /dports/misc/openmvg/openMVG-2.0/src/third_party/ceres-solver/internal/ceres/ |
| H A D | line_search.cc | 127 const bool eval_status = evaluator_->Evaluate( in Evaluate() local
130 if (!eval_status || !IsFinite(output->value)) { in Evaluate()
|
| /dports/graphics/blender/blender-2.91.0/extern/ceres/internal/ceres/ |
| H A D | line_search.cc | 128 const bool eval_status = evaluator_->Evaluate( in Evaluate() local
131 if (!eval_status || !std::isfinite(output->value)) { in Evaluate()
|
| /dports/math/ceres-solver/ceres-solver-2.0.0/internal/ceres/ |
| H A D | line_search.cc | 127 const bool eval_status = evaluator_->Evaluate( in Evaluate() local
130 if (!eval_status || !std::isfinite(output->value)) { in Evaluate()
|
| /dports/databases/recutils/recutils-1.8/src/ |
| H A D | rec-db.c | 1575 bool eval_status; in rec_db_record_selected_p() local
1576 return rec_sex_eval (sex, record, &eval_status); in rec_db_record_selected_p()
|
| /dports/sysutils/bfs/bfs-2.3.1/ |
| H A D | eval.c | 1080 static void eval_status(struct eval_state *state, struct bfs_bar *bar, struct timespec *last_status… in eval_status() function
1357 eval_status(&state, args->bar, &args->last_status, args->count); in eval_callback()
|
| /dports/math/giacxcas/giac-1.6.0/src/ |
| H A D | Tableur.cc | 807 int eval_status=thread_eval_status(contextptr); in thread_spread_eval() local
808 if (!eval_status) in thread_spread_eval()
|
| H A D | global.cc | 3906 int eval_status=thread_eval_status(contextptr); in thread_eval() local
3907 if (!eval_status) in thread_eval()
|
| /dports/cad/xcircuit/xcircuit-3.10.30/ |
| H A D | tclxcircuit.c | 9059 int *eval_status) in evaluate_raw() argument
9184 if (eval_status) *eval_status = status; in evaluate_raw()
|
| /dports/games/emptyepsilon/EmptyEpsilon-EE-2021.06.23/scripts/ |
| H A D | scenario_59_border.lua | 10966 …local eval_status = string.format("F:%.1f%% E:%.1f%% D:%.1f%%",evalFriendly,evalEnemy,evalFriendly…
10971 p.eval_status = "eval_status"
10972 p:addCustomInfo("Relay",p.eval_status,eval_status)
10976 p:addCustomInfo("Operations",p.eval_status_operations,eval_status)
|