| /dports/devel/py-numba/numba-0.51.2/numba/core/rewrites/ |
| H A D | static_getitem.py | 83 const, lit_val = self.getitems[expr]
85 index=lit_val,
127 const, lit_val = self.setitems[inst]
129 index=lit_val,
|
| /dports/math/yices/yices-2.6.2/src/solvers/cdcl/ |
| H A D | sat_solver.h | 602 static inline bval_t lit_val(sat_solver_t *solver, literal_t l) { in lit_val() function
608 return is_unassigned_val(lit_val(solver, l)); in lit_is_unassigned()
625 return true_preferred(lit_val(solver, l)); in lit_prefers_true()
729 return lit_val(solver, l); in get_literal_assignment()
734 return lit_val(solver, pos_lit(x)); in get_variable_assignment()
|
| H A D | sat_solver.c | 1264 switch (lit_val(solver, l)) { in sat_solver_add_unit_clause()
1396 switch (lit_val(solver, l)) { in sat_solver_simplify_and_add_clause()
1663 switch (lit_val(solver, l)) { in simplify_clause()
2695 assert(lit_val(sol, l) == val_true); in backtrack()
2702 assert(lit_val(sol, l) == val_undef_true && lit_val(sol, not(l)) == val_undef_false); in backtrack()
3134 if (lit_val(solver, l) == val_true) { in get_true_literals()
3225 } else if (lit_val(sol,l1) == val_false) { in check_propagation_bin()
3262 nf += indicator(lit_val(sol, l0), val_false); in check_propagation_clause()
3263 nt += indicator(lit_val(sol, l0), val_true); in check_propagation_clause()
3268 nf += indicator(lit_val(sol, l1), val_false); in check_propagation_clause()
[all …]
|
| H A D | smt_core.c | 2550 static inline bval_t lit_val(uint8_t *v, literal_t l) { in lit_val() function
2575 v1 = lit_val(val, l1); in propagation_via_bin_vector()
2615 v1 = lit_val(val, l1); in propagation_via_watched_list()
2639 } while (lit_val(val, l) == VAL_FALSE); in propagation_via_watched_list()
4738 return lit_val(s->value, l); in unsafe_literal_value()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_lint/src/ |
| H A D | types.rs | 126 lit_val: u128, in lint_overflowing_range_endpoint()
142 if eps[1].expr.hir_id == expr.hir_id && lit_val - 1 == max { in lint_overflowing_range_endpoint()
155 let suggestion = format!("{}..={}{}", start, lit_val - 1, suffix); in lint_overflowing_range_endpoint()
387 let lit_val: u128 = match lit.node { in lint_uint_literal() localVariable
393 if lit_val < min || lit_val > max { in lint_uint_literal()
404 format!("'\\u{{{:X}}}'", lit_val), in lint_uint_literal()
428 lit_val, in lint_uint_literal()
555 let lit_val: i128 = match lit.kind { in check_expr() localVariable
565 is_valid(norm_binop, lit_val, min, max) in check_expr()
569 let lit_val: u128 = match lit.kind { in check_expr() localVariable
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/sqlite/fuzz/ |
| H A D | sql_query_proto_to_string.cc | 368 CONV_FN(LiteralValue, lit_val) { in CONV_FN() argument
371 switch (lit_val.lit_val_oneof_case()) { in CONV_FN()
373 return std::to_string(lit_val.num_lit()); in CONV_FN()
376 ret += ConvertToSqlString(lit_val.string_lit()); in CONV_FN()
381 ret += BytesToHex(lit_val.blob_lit()); in CONV_FN()
386 if (lit_val.special_val() == LiteralValue::VAL_NULL) in CONV_FN()
388 if (lit_val.special_val() == LiteralValue::VAL_TRUE) in CONV_FN()
390 if (lit_val.special_val() == LiteralValue::VAL_FALSE) in CONV_FN()
395 return NumericLiteralToString(lit_val.numeric_lit()); in CONV_FN()
941 return LiteralValueToString(expr.lit_val()); in CONV_FN()
[all …]
|
| H A D | sql_query_grammar.proto | 394 required LiteralValue lit_val = 1; field
943 LiteralValue lit_val = 1; field
1073 required LiteralValue lit_val = 16; // used if oneof is empty. field
|
| /dports/math/z3/z3-z3-4.8.13/src/nlsat/ |
| H A D | nlsat_explain.cpp | 437 bool lit_val = l.sign() ? !atom_val : atom_val; in normalize() local
438 return lit_val ? true_literal : false_literal; in normalize()
464 bool lit_val = l.sign() ? !atom_val : atom_val; in normalize() local
465 return lit_val ? true_literal : false_literal; in normalize()
1143 bool lit_val = l.sign() ? !atom_val : atom_val; in simplify() local
1144 new_lit = lit_val ? true_literal : false_literal; in simplify()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/nlsat/ |
| H A D | nlsat_explain.cpp | 437 bool lit_val = l.sign() ? !atom_val : atom_val; in normalize() local
438 return lit_val ? true_literal : false_literal; in normalize()
464 bool lit_val = l.sign() ? !atom_val : atom_val; in normalize() local
465 return lit_val ? true_literal : false_literal; in normalize()
1143 bool lit_val = l.sign() ? !atom_val : atom_val; in simplify() local
1144 new_lit = lit_val ? true_literal : false_literal; in simplify()
|
| /dports/lang/lfe/lfe-1.3/src/ |
| H A D | lfe_codegen.erl | 1384 case lit_val(Clit) of
1392 case lit_val(Clit) of
1678 lit_val(Lit) -> cerl:concrete(Lit). function
|
| /dports/lang/asis/asis-gpl-2016-src/tools/gnat2xml/ |
| H A D | ada-schema.xsd | 6173 <xsd:attribute name="lit_val" type="xsd:string" use="required"/>
6184 <xsd:attribute name="lit_val" type="xsd:string" use="required"/>
6195 <xsd:attribute name="lit_val" type="xsd:string" use="required"/>
|
| H A D | ada-schema.compact.xsd | 6013 <xsd:attribute name="lit_val" type="xsd:string" use="required"/>
6022 <xsd:attribute name="lit_val" type="xsd:string" use="required"/>
6031 <xsd:attribute name="lit_val" type="xsd:string" use="required"/>
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1664 * lit_val is the value of the literal as written in the source text,
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1664 * lit_val is the value of the literal as written in the source text,
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1619 * lit_val is the value of the literal as written in the source text,
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1619 * lit_val is the value of the literal as written in the source text,
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1619 * lit_val is the value of the literal as written in the source text,
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1619 * lit_val is the value of the literal as written in the source text,
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1619 * lit_val is the value of the literal as written in the source text,
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1619 * lit_val is the value of the literal as written in the source text,
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1619 * lit_val is the value of the literal as written in the source text,
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1619 * lit_val is the value of the literal as written in the source text,
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1619 * lit_val is the value of the literal as written in the source text,
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1619 * lit_val is the value of the literal as written in the source text,
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/doc/gnat_ugn/ |
| H A D | gnat_utility_programs.rst | 1619 * lit_val is the value of the literal as written in the source text,
|