| /dports/sysutils/bfs/bfs-2.3.1/ |
| H A D | opt.c | 382 assert(expr->eval == eval_and || expr->eval == eval_or); in de_morgan()
384 expr->eval = eval_or; in de_morgan()
461 } else if ((rhs->eval == eval_and || rhs->eval == eval_or) in optimize_not_expr()
565 assert(expr->eval == eval_or); in optimize_or_expr()
642 && (expr->eval == eval_and || expr->eval == eval_or || expr->eval == eval_comma) in ignore_result()
864 } else if (expr->eval == eval_or) { in optimize_expr_recursive()
959 if (expr->eval == eval_and || expr->eval == eval_or) { in reorder_expr_recursive()
|
| H A D | eval.h | 110 bool eval_or(const struct expr *expr, struct eval_state *state);
|
| H A D | parse.c | 1891 ctx->exclude = new_binary_expr(eval_or, ctx->exclude, hidden, &fake_or_arg); in parse_nohidden()
3336 ctx->exclude = new_binary_expr(eval_or, ctx->exclude, factor, &fake_or_arg); in parse_factor()
3432 clause = new_binary_expr(eval_or, lhs, rhs, argv); in parse_clause()
|
| H A D | eval.c | 1054 bool eval_or(const struct expr *expr, struct eval_state *state) { in eval_or() function
|
| /dports/devel/R-cran-tidyselect/tidyselect/R/ |
| H A D | eval-bool.R | 9 eval_or <- function(expr, data_mask, context_mask) { function
|
| H A D | eval-walk.R | 118 `|` = eval_or(expr, data_mask, context_mask),
|
| /dports/games/warzone2100/warzone2100/src/3rdparty/ |
| H A D | propertymatcher.cpp | 154 bool eval_or(bool a1, bool a2) in eval_or() function
175 {"||", 8, ASSOC_LEFT, 0, eval_or},
|
| /dports/devel/ccdoc/ccdocv08r41/src/ |
| H A D | phase1_parser.h | 204 int eval_or();
|
| H A D | phase1_parser.cc | 4176 case nd_type_or: return eval_or(); in eval()
4409 int ccdoc::phase1::parser::cpp_expr::node::eval_or() in eval_or() function in ccdoc::phase1::parser::cpp_expr::node
|
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_gate_manager.c | 316 static literal_t eval_or(literal_t l1, literal_t l2) { in eval_or() function
341 return eval_or(not(l1), l2); in eval_implies()
396 if (l == eval_or(l1, l2)) { in check_or_aux()
|
| /dports/audio/lsp-plugins-lv2/lsp-plugins-1.1.31/include/core/calc/ |
| H A D | evaluator.h | 41 status_t eval_or(value_t *value, const expr_t *expr, eval_env_t *env);
|
| /dports/math/yices/yices-2.6.2/src/model/ |
| H A D | model_eval.c | 1023 static value_t eval_or(evaluator_t *eval, composite_term_t *or) { in eval_or() function
1298 v = eval_or(eval, or_term_desc(terms, t)); in eval_term()
|
| /dports/audio/lsp-plugins-lv2/lsp-plugins-1.1.31/src/core/calc/ |
| H A D | parser.cpp | 1083 bind->eval = eval_or; in parse_or()
|
| H A D | evaluator.cpp | 427 status_t eval_or(value_t *value, const expr_t *expr, eval_env_t *env) in eval_or() function
|