Home
last modified time | relevance | path

Searched refs:eval_literal (Results 1 – 11 of 11) sorted by relevance

/dports/graphics/gmt/gmt-6.3.0/doc/rst/_extensions/sphinx_panels/
H A Dutils.py9 def eval_literal(string): function
22 kwargs[key.strip()] = eval_literal(value.strip())
24 args.append(eval_literal(value.strip()))
/dports/mail/ecartis/ecartis-1.0.0/src/
H A Dfuncparse.c61 int eval_literal(const char *buf, char *result, char *error) in eval_literal() function
134 res = eval_literal(curarg, tempres, error); in parse_args()
162 res = eval_literal(curarg, tempres, error); in parse_args()
197 int res = eval_literal(buf, result, error); in parse_function()
/dports/math/yices/yices-2.6.2/src/solvers/bv/
H A Dbit_blaster.c1433 a = eval_literal(s, a); in bit_blaster_eval_xor2()
1434 b = eval_literal(s, b); in bit_blaster_eval_xor2()
1450 a = eval_literal(s, a); in bit_blaster_eval_xor3()
1451 b = eval_literal(s, b); in bit_blaster_eval_xor3()
1452 c = eval_literal(s, c); in bit_blaster_eval_xor3()
1473 a = eval_literal(s, a); in bit_blaster_eval_or2()
1474 b = eval_literal(s, b); in bit_blaster_eval_or2()
1503 a = eval_literal(s, a); in bit_blaster_eval_or3()
1504 b = eval_literal(s, b); in bit_blaster_eval_or3()
1505 c = eval_literal(s, c); in bit_blaster_eval_or3()
[all …]
H A Dnew_bit_blaster.c1431 a = eval_literal(s, a); in bit_blaster_eval_xor2()
1432 b = eval_literal(s, b); in bit_blaster_eval_xor2()
1450 a = eval_literal(s, a); in bit_blaster_eval_xor3()
1451 b = eval_literal(s, b); in bit_blaster_eval_xor3()
1452 c = eval_literal(s, c); in bit_blaster_eval_xor3()
1474 a = eval_literal(s, a); in bit_blaster_eval_or2()
1475 b = eval_literal(s, b); in bit_blaster_eval_or2()
1493 a = eval_literal(s, a); in bit_blaster_eval_or3()
1494 b = eval_literal(s, b); in bit_blaster_eval_or3()
1495 c = eval_literal(s, c); in bit_blaster_eval_or3()
[all …]
/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_bool_vartable.c.notready162 static int32_t eval_literal(bool_vartable_t *table, int8_t *v, uint32_t n, literal_t l) {
394 v = eval_literal(table, val, MAX_VARS, l);
415 v = eval_literal(table, val, MAX_VARS, l);
436 v = eval_literal(table, val, MAX_VARS, l);
459 v = eval_literal(table, val, MAX_VARS, l);
482 v = eval_literal(table, val, MAX_VARS, l);
504 v = eval_literal(table, val, MAX_VARS, l);
527 v = eval_literal(table, val, MAX_VARS, l);
549 v = eval_literal(table, val, MAX_VARS, l);
H A Dtest_bvdivision.c229 static literal_t eval_literal(literal_t l) { in eval_literal() function
249 a[i] = eval_literal(remap_table_find(&remap, u[i])); in pseudo_convert()
/dports/textproc/xmlroff/xmlroff-0.6.3/xmlroff/libfo/expr/
H A Dfo-expr-eval.c690 eval_literal (FoExprContext *context) in eval_literal() function
1051 eval_literal (context); in eval_primary_expr()
1755 eval_literal (context); in eval_border_color_expr()
2229 eval_literal (context); in eval_width_style_color_expr()
/dports/textproc/libfo/xmlroff-0.6.3/xmlroff/libfo/expr/
H A Dfo-expr-eval.c690 eval_literal (FoExprContext *context) in eval_literal() function
1051 eval_literal (context); in eval_primary_expr()
1755 eval_literal (context); in eval_border_color_expr()
2229 eval_literal (context); in eval_width_style_color_expr()
/dports/net/libyang/libyang-1.0.240/src/
H A Dxpath.c7068 eval_literal(struct lyxp_expr *exp, uint16_t *exp_idx, struct lyxp_set *set) in eval_literal() function
7904 eval_literal(exp, exp_idx, NULL); in eval_path_expr()
7906 eval_literal(exp, exp_idx, set); in eval_path_expr()
/dports/textproc/xmlroff/xmlroff-0.6.3/xmlroff/
H A DChangeLog.pre-0.3643 * expr/fo-expr-eval.c (eval_literal): Using new
/dports/textproc/libfo/xmlroff-0.6.3/xmlroff/
H A DChangeLog.pre-0.3643 * expr/fo-expr-eval.c (eval_literal): Using new