| /dports/lang/ocaml/ocaml-4.05.0/parsing/ |
| H A D | depend.ml | 219 add_opt add_expr bv opte; add_expr (add_pattern bv p) e
223 add_expr bv e; List.iter (fun (_,e) -> add_expr bv e) el
233 | Pexp_setfield(e1, fld, e2) -> add_expr bv e1; add bv fld; add_expr bv e2
236 add_expr bv e1; add_expr bv e2; add_opt add_expr bv opte3
237 | Pexp_sequence(e1, e2) -> add_expr bv e1; add_expr bv e2
238 | Pexp_while(e1, e2) -> add_expr bv e1; add_expr bv e2
240 add_expr bv e1; add_expr bv e2; add_expr bv e3
242 add_expr bv e1;
246 add_expr bv e1;
281 add_expr bv pc_rhs
[all …]
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/parsing/ |
| H A D | depend.ml | 219 add_opt add_expr bv opte; add_expr (add_pattern bv p) e
223 add_expr bv e; List.iter (fun (_,e) -> add_expr bv e) el
233 | Pexp_setfield(e1, fld, e2) -> add_expr bv e1; add bv fld; add_expr bv e2
236 add_expr bv e1; add_expr bv e2; add_opt add_expr bv opte3
237 | Pexp_sequence(e1, e2) -> add_expr bv e1; add_expr bv e2
238 | Pexp_while(e1, e2) -> add_expr bv e1; add_expr bv e2
240 add_expr bv e1; add_expr bv e2; add_expr bv e3
242 add_expr bv e1;
246 add_expr bv e1;
281 add_expr bv pc_rhs
[all …]
|
| /dports/cad/iverilog/verilog-11.0/tgt-vhdl/ |
| H A D | cast.cc | 93 conv->add_expr(this); in to_vector()
116 conv->add_expr(this); in to_integer()
135 image->add_expr(this); in to_string()
158 conv->add_expr(this); in to_boolean()
167 conv->add_expr(this); in to_boolean()
185 ah->add_expr(this); in to_std_logic()
195 ah->add_expr(this); in to_std_logic()
205 ah->add_expr(this); in to_std_logic()
217 f->add_expr(this); in to_std_ulogic()
250 resizef->add_expr(this); in resize()
[all …]
|
| H A D | stmt.cc | 1218 cmp->add_expr(ref); in check_against_x()
1227 cmp->add_expr(ref); in check_against_x()
1270 cmp->add_expr(ref); in process_number()
1280 cmp->add_expr(ref); in process_number()
1290 cmp->add_expr(ref); in process_number()
1372 cmp->add_expr(bit); in process_signal()
1379 cmp->add_expr(bit); in process_signal()
1389 cmp->add_expr(ref); in process_signal()
1399 cmp->add_expr(ref); in process_signal()
1409 cmp->add_expr(ref); in process_signal()
[all …]
|
| H A D | expr.cc | 267 sra->add_expr(lhs); in translate_shift()
268 sra->add_expr(r_cast); in translate_shift()
303 conv->add_expr(result); in translate_power()
304 conv->add_expr(new vhdl_const_int(width)); in translate_power()
333 lqual->add_expr(lhs); in translate_binary()
494 sra->add_expr(from); in translate_select()
495 sra->add_expr(base->to_integer()); in translate_select()
536 t->add_expr(param); in translate_parms()
608 fcall->add_expr(test); in translate_ternary()
609 fcall->add_expr(true_part); in translate_ternary()
[all …]
|
| H A D | lpm.cc | 65 expr->add_expr(e); in binop_lpm_to_expr()
74 resize->add_expr(expr); in binop_lpm_to_expr()
75 resize->add_expr(new vhdl_const_int(out_width)); in binop_lpm_to_expr()
101 expr->add_expr(lhs); in rel_lpm_to_expr()
102 expr->add_expr(rhs); in rel_lpm_to_expr()
141 fcall->add_expr(ref); in ufunc_lpm_to_expr()
163 fcall->add_expr(ref->cast(&std_logic_vector)); in reduction_lpm_to_expr()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/test/fuzzing/ |
| H A D | expr_rand.cpp | 29 add_expr(m_manager.mk_fresh_const("x", s)); in add_var()
36 void expr_rand::add_expr(expr* t) { in add_expr() function in expr_rand
59 add_expr(r); in walk()
99 add_expr(u.mk_numeral(rational(0), true)); in initialize_arith()
100 add_expr(u.mk_numeral(rational(1), true)); in initialize_arith()
101 add_expr(u.mk_numeral(rational(2), true)); in initialize_arith()
102 add_expr(u.mk_numeral(rational(3), true)); in initialize_arith()
123 add_expr(u.mk_numeral(rational(2), 2)); in initialize_bv()
124 add_expr(u.mk_numeral(rational(3), 2)); in initialize_bv()
125 add_expr(u.mk_numeral(rational(6), 8)); in initialize_bv()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/test/fuzzing/ |
| H A D | expr_rand.cpp | 29 add_expr(m_manager.mk_fresh_const("x", s)); in add_var()
36 void expr_rand::add_expr(expr* t) { in add_expr() function in expr_rand
59 add_expr(r); in walk()
99 add_expr(u.mk_numeral(rational(0), true)); in initialize_arith()
100 add_expr(u.mk_numeral(rational(1), true)); in initialize_arith()
101 add_expr(u.mk_numeral(rational(2), true)); in initialize_arith()
102 add_expr(u.mk_numeral(rational(3), true)); in initialize_arith()
123 add_expr(u.mk_numeral(rational(2), 2)); in initialize_bv()
124 add_expr(u.mk_numeral(rational(3), 2)); in initialize_bv()
125 add_expr(u.mk_numeral(rational(6), 8)); in initialize_bv()
[all …]
|
| /dports/biology/cufflinks/cufflinks-2.2.1-89-gdc3b0cb/src/ |
| H A D | multireads.cpp | 34 void MultiRead::add_expr(RefID r_id, int left, int right, double expr) in add_expr() function in MultiRead
93 void MultiReadTable::add_expr(const MateHit& hit, double expr) in add_expr() function in MultiReadTable
95 add_expr(hit.ref_id(), hit.left(), hit.right(), hit.insert_id(), expr); in add_expr()
98 void MultiReadTable::add_expr(RefID r_id, int left, int right, InsertID mr_id, double expr) in add_expr() function in MultiReadTable
105 mr->add_expr(r_id, left, right, expr); in add_expr()
|
| H A D | multireads.h | 43 void add_expr(RefID r_id, int left, int right, double expr);
64 void add_expr(const MateHit& hit, double expr);
65 void add_expr(RefID r_id, int left, int right, InsertID mr_id, double expr);
|
| /dports/x11-toolkits/wxgtk28-common/wxGTK-2.8.12/contrib/include/wx/deprecated/ |
| H A D | expr.h | 35 void add_expr(char *);
48 void add_expr(char *);
61 void add_expr();
|
| /dports/x11-toolkits/wxgtk28-contrib-common/wxGTK-2.8.12/contrib/include/wx/deprecated/ |
| H A D | expr.h | 35 void add_expr(char *);
48 void add_expr(char *);
61 void add_expr();
|
| /dports/x11-toolkits/wxgtk28/wxGTK-2.8.12/contrib/include/wx/deprecated/ |
| H A D | expr.h | 35 void add_expr(char *);
48 void add_expr(char *);
61 void add_expr();
|
| /dports/x11-toolkits/wxgtk28-contrib/wxGTK-2.8.12/contrib/include/wx/deprecated/ |
| H A D | expr.h | 35 void add_expr(char *);
48 void add_expr(char *);
61 void add_expr();
|
| /dports/games/scorched3d/scorched-dep-win32/include/wx/wx/ |
| H A D | expr.h | 35 void add_expr(char *);
48 void add_expr(char *);
61 void add_expr();
|
| /dports/x11-toolkits/lesstif/lesstif-0.95.2/clients/Motif-2.1/uil/ |
| H A D | yacc.y | 175 add_expr
275 initializers: ID ':' add_expr ';' initializers
299 | ID ':' EXPORTED add_expr ';' initializers
494 list_arg: list_arg ID '=' add_expr ';'
610 argument_list: argument_list ID '=' add_expr ';'
628 add_expr: mult_expr
632 | add_expr '-' mult_expr
636 | add_expr '+' mult_expr
640 | add_expr '&' prim_expr
731 | '(' add_expr ')'
|
| /dports/math/py-cvxpy/cvxpy-1.1.17/cvxpy/tests/ |
| H A D | test_lin_ops.py | 82 add_expr = sum_expr([x, y])
83 self.assertEqual(add_expr.shape, shape)
84 assert len(add_expr.args) == 2
94 add_expr = sum_expr([x, y, A])
95 vars_ = get_expr_vars(add_expr)
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/corba/src/share/classes/com/sun/tools/corba/se/idl/ |
| H A D | grammar.idl | 184 (33) <shift_expr> <add_expr> <shift_expr'>
187 ">>" <add_expr> <shift_expr'>
188 "<<" <add_expr> <shift_expr'>
190 (34) <add_expr> <mult_expr> <add_expr'>
192 (34) <add_expr'> e
193 "+" <mult_expr> <add_expr'>
194 "-" <mult_expr> <add_expr'>
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/corba/src/share/classes/com/sun/tools/corba/se/idl/ |
| H A D | grammar.idl | 184 (33) <shift_expr> <add_expr> <shift_expr'>
187 ">>" <add_expr> <shift_expr'>
188 "<<" <add_expr> <shift_expr'>
190 (34) <add_expr> <mult_expr> <add_expr'>
192 (34) <add_expr'> e
193 "+" <mult_expr> <add_expr'>
194 "-" <mult_expr> <add_expr'>
|
| /dports/databases/libgdamm5/libgdamm-4.99.11/examples/sqlbuilder/ |
| H A D | main.cc | 30 guint value = up_builder->add_expr(Gnome::Gda::Value(14)); in main()
72 args.push_back(func_builder->add_expr(Gnome::Gda::Value(5))); in main()
73 args.push_back(func_builder->add_expr(Gnome::Gda::Value("Joe"))); in main()
81 guint expr_ten = func_builder->add_expr(Gnome::Gda::Value(10)); in main()
|
| /dports/math/py-cvxpy/cvxpy-1.1.17/cvxpy/reductions/dgp2dcp/atom_canonicalizers/ |
| H A D | mul_canon.py | 1 from cvxpy.atoms.affine import add_expr
6 return add_expr.AddExpression(args), []
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/ |
| H A D | tree-ssa-scopedtables.c | 112 inchash::add_expr (t1, one); in add_expr_commutative()
113 inchash::add_expr (t2, two); in add_expr_commutative()
129 inchash::add_expr (expr->ops.single.rhs, hstate); in add_hashable_expr()
143 inchash::add_expr (expr->ops.unary.opnd, hstate); in add_hashable_expr()
153 inchash::add_expr (expr->ops.binary.opnd0, hstate); in add_hashable_expr()
154 inchash::add_expr (expr->ops.binary.opnd1, hstate); in add_hashable_expr()
165 inchash::add_expr (expr->ops.ternary.opnd0, hstate); in add_hashable_expr()
168 inchash::add_expr (expr->ops.ternary.opnd2, hstate); in add_hashable_expr()
184 inchash::add_expr (expr->ops.call.args[i], hstate); in add_hashable_expr()
193 inchash::add_expr (expr->ops.phi.args[i], hstate); in add_hashable_expr()
[all …]
|
| H A D | gcc-rich-location.c | 47 gcc_rich_location::add_expr (tree expr) in add_expr() function
61 add_expr (t); in maybe_add_expr()
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/ |
| H A D | tree-ssa-scopedtables.c | 112 inchash::add_expr (t1, one); in add_expr_commutative()
113 inchash::add_expr (t2, two); in add_expr_commutative()
129 inchash::add_expr (expr->ops.single.rhs, hstate); in add_hashable_expr()
143 inchash::add_expr (expr->ops.unary.opnd, hstate); in add_hashable_expr()
153 inchash::add_expr (expr->ops.binary.opnd0, hstate); in add_hashable_expr()
154 inchash::add_expr (expr->ops.binary.opnd1, hstate); in add_hashable_expr()
165 inchash::add_expr (expr->ops.ternary.opnd0, hstate); in add_hashable_expr()
168 inchash::add_expr (expr->ops.ternary.opnd2, hstate); in add_hashable_expr()
184 inchash::add_expr (expr->ops.call.args[i], hstate); in add_hashable_expr()
193 inchash::add_expr (expr->ops.phi.args[i], hstate); in add_hashable_expr()
[all …]
|
| H A D | gcc-rich-location.c | 47 gcc_rich_location::add_expr (tree expr) in add_expr() function
61 add_expr (t); in maybe_add_expr()
|