| /dports/math/petanque/arybo-release-1.1.0/petanque/src/ |
| H A D | simps.cpp | 693 ExprArgs or_args; in identify_ors_no_rec() local
694 or_args.resize(n); in identify_ors_no_rec()
696 or_args[i] = eargs[sym_start+idxes[i]]; in identify_ors_no_rec()
702 if (eargs[mul].args() == or_args) { in identify_ors_no_rec()
703 new_ors.insert_dup(ExprOr(std::move(or_args))); in identify_ors_no_rec()
747 if (emul.args() == or_args) { in identify_ors_no_rec()
751 new_ors.insert_dup(ExprOr(std::move(or_args))); in identify_ors_no_rec()
849 ExprArgs& or_args = a[add].args();
850 const size_t or_degree = or_args.size();
852 if (a[mul].args() == or_args) {
[all …]
|
| /dports/math/py-pytanque/pytanque-1.1.0/src/ |
| H A D | simps.cpp | 693 ExprArgs or_args; in identify_ors_no_rec() local
694 or_args.resize(n); in identify_ors_no_rec()
696 or_args[i] = eargs[sym_start+idxes[i]]; in identify_ors_no_rec()
702 if (eargs[mul].args() == or_args) { in identify_ors_no_rec()
703 new_ors.insert_dup(ExprOr(std::move(or_args))); in identify_ors_no_rec()
747 if (emul.args() == or_args) { in identify_ors_no_rec()
751 new_ors.insert_dup(ExprOr(std::move(or_args))); in identify_ors_no_rec()
849 ExprArgs& or_args = a[add].args();
850 const size_t or_degree = or_args.size();
852 if (a[mul].args() == or_args) {
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/src/tools/clippy/clippy_lints/src/methods/ |
| H A D | or_fun_call.rs | 171 hir::ExprKind::Call(fun, or_args) => { in check()
172 let or_has_args = !or_args.is_empty(); in check()
|
| /dports/cad/openroad/OpenROAD-2.0/src/gui/src/ |
| H A D | tclCmdHighlighter.h | 82 void parseOpenRoadArguments(const char* or_args, std::set<std::string>& args);
|
| H A D | tclCmdHighlighter.cpp | 146 void TclCmdHighlighter::parseOpenRoadArguments(const char* or_args, in parseOpenRoadArguments() argument
151 std::string local_or_args = or_args; in parseOpenRoadArguments()
|
| /dports/math/z3/z3-z3-4.8.13/src/cmd_context/ |
| H A D | tactic_cmds.cpp | 366 expr_ref_buffer or_args(m); in execute() local
372 or_args.push_back(formulas[0]); in execute()
374 or_args.push_back(m.mk_and(formulas.size(), formulas.data())); in execute()
377 assertion_ref = m.mk_or(or_args.size(), or_args.data()); in execute()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/cmd_context/ |
| H A D | tactic_cmds.cpp | 366 expr_ref_buffer or_args(m); in execute() local
372 or_args.push_back(formulas[0]); in execute()
374 or_args.push_back(m.mk_and(formulas.size(), formulas.c_ptr())); in execute()
377 assertion_ref = m.mk_or(or_args.size(), or_args.c_ptr()); in execute()
|
| /dports/math/py-Diofant/Diofant-0.13.0/diofant/sets/ |
| H A D | sets.py | 1246 or_args = [the_set.contains(other) for the_set in self.args]
1247 return Or(*or_args)
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/fpa/ |
| H A D | fpa2bv_converter.cpp | 484 expr * or_args[2] = { shifted_d_sig, sticky }; in add_core() local
485 shifted_d_sig = m_bv_util.mk_bv_or(2, or_args); in add_core()
1899 expr * or_args[2] = { Q, S }; in mk_sqrt() local
1901 Q_or_S = m_bv_util.mk_bv_or(2, or_args); in mk_sqrt()
1923 expr * or_args[2] = { rest_ext, sticky }; in mk_sqrt() local
1924 res_sig = m_bv_util.mk_bv_or(2, or_args); in mk_sqrt()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/fpa/ |
| H A D | fpa2bv_converter.cpp | 483 expr * or_args[2] = { shifted_d_sig, sticky };
484 shifted_d_sig = m_bv_util.mk_bv_or(2, or_args);
1888 expr * or_args[2] = { Q, S };
1890 Q_or_S = m_bv_util.mk_bv_or(2, or_args);
1912 expr * or_args[2] = { rest_ext, sticky };
1913 res_sig = m_bv_util.mk_bv_or(2, or_args);
|
| /dports/lang/ocaml/ocaml-4.05.0/typing/ |
| H A D | parmatch.ml | 1310 let rec or_args p = match p.pat_desc with
1312 | Tpat_alias (p,_,_) -> or_args p
1423 let q1,q2 = or_args q in
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/typing/ |
| H A D | parmatch.ml | 1310 let rec or_args p = match p.pat_desc with
1312 | Tpat_alias (p,_,_) -> or_args p
1423 let q1,q2 = or_args q in
|