| /dports/math/z3/z3-z3-4.8.13/src/ast/macros/ |
| H A D | macro_util.cpp | 288 expr * neg_arg; in is_arith_macro() local
295 else if (h == nullptr && m_arith_rw.is_times_minus_one(arg, neg_arg) && in is_arith_macro()
296 is_macro_head(neg_arg, num_decls) && in is_arith_macro()
297 !is_forbidden(to_app(neg_arg)->get_decl()) && in is_arith_macro()
298 !poly_contains_head(lhs, to_app(neg_arg)->get_decl(), arg)) { in is_arith_macro()
299 h = neg_arg; in is_arith_macro()
825 expr * neg_arg; in collect_arith_macro_candidates() local
849 else if (is_times_minus_one(arg, neg_arg) && is_app(neg_arg)) { in collect_arith_macro_candidates()
850 f = to_app(neg_arg)->get_decl(); in collect_arith_macro_candidates()
852 is_quasi_macro_head(neg_arg, num_decls) && in collect_arith_macro_candidates()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/macros/ |
| H A D | macro_util.cpp | 270 expr * neg_arg; in is_arith_macro() local
277 else if (h == nullptr && m_arith_rw.is_times_minus_one(arg, neg_arg) && in is_arith_macro()
278 is_macro_head(neg_arg, num_decls) && in is_arith_macro()
279 !is_forbidden(to_app(neg_arg)->get_decl()) && in is_arith_macro()
280 !poly_contains_head(lhs, to_app(neg_arg)->get_decl(), arg)) { in is_arith_macro()
281 h = neg_arg; in is_arith_macro()
807 expr * neg_arg; in collect_arith_macro_candidates() local
831 else if (is_times_minus_one(arg, neg_arg) && is_app(neg_arg)) { in collect_arith_macro_candidates()
832 f = to_app(neg_arg)->get_decl(); in collect_arith_macro_candidates()
834 is_quasi_macro_head(neg_arg, num_decls) && in collect_arith_macro_candidates()
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/apply-refact-0.9.3.0/src/Refact/ |
| H A D | Fixity.hs | 81 mkOpAppRn fs loc e1@(GHC.L _ (GHC.NegApp _ neg_arg neg_name)) op2 fix2 e2
86 let oldKey = mkAnnKey neg_arg
88 new_e <- mkOpAppRn fs loc' neg_arg op2 fix2 e2
100 loc' = GHC.combineLocs neg_arg e2
|
| /dports/math/py-theano/Theano-1.0.5/theano/tensor/nnet/ |
| H A D | sigm.py | 891 neg_arg = is_neg(exp_arg)
892 if neg_arg is None:
898 if not replace_leaf(neg_arg, sigm_x, sigm_minus_x,
900 exp_minus_x.append((neg_arg, tree))
904 neg_arg = is_neg(sigm_arg)
905 if neg_arg is None:
911 if not replace_leaf(neg_arg, exp_x, sigm_x, sigmoid, neg):
912 sigm_minus_x.append((neg_arg, tree))
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-ex-9.0.0.4/src/Language/Haskell/GhclibParserEx/ |
| H A D | Fixity.hs | 133 mkOpApp fs loc e1@(L _ (NegApp _ neg_arg neg_name)) op2 fix2 e2
135 | associate_right = L loc (NegApp noExt (mkOpApp fs loc' neg_arg op2 fix2 e2) neg_name)
137 loc' = combineLocs neg_arg e2
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-ex-8.10.0.19/src/Language/Haskell/GhclibParserEx/ |
| H A D | Fixity.hs | 133 mkOpApp fs loc e1@(L _ (NegApp _ neg_arg neg_name)) op2 fix2 e2
135 | associate_right = L loc (NegApp noExt (mkOpApp fs loc' neg_arg op2 fix2 e2) neg_name)
137 loc' = combineLocs neg_arg e2
|
| /dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/sql/ |
| H A D | item_timefunc.h | 1329 interval_type type_arg, bool neg_arg) in Item_date_add_interval() argument
1332 date_sub_interval(neg_arg) {} in Item_date_add_interval()
1337 Item_date_add_interval(Item *a, Item *b, interval_type type_arg, bool neg_arg) in Item_date_add_interval() argument
1340 date_sub_interval(neg_arg) {} in Item_date_add_interval()
1500 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1502 sign = neg_arg ? -1 : 1; in Item_func_add_time()
1505 bool neg_arg) in Item_func_add_time() argument
1507 sign = neg_arg ? -1 : 1; in Item_func_add_time()
|
| /dports/databases/percona57-server/percona-server-5.7.36-39/sql/ |
| H A D | item_timefunc.h | 1433 Item *a, Item *b, interval_type type_arg, bool neg_arg) in Item_date_add_interval() argument
1435 int_type(type_arg), date_sub_interval(neg_arg) {} in Item_date_add_interval()
1599 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1602 sign= neg_arg ? -1 : 1; in Item_func_add_time()
1605 Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1608 sign= neg_arg ? -1 : 1; in Item_func_add_time()
|
| /dports/databases/mysqlwsrep57-server/mysql-wsrep-wsrep_5.7.35-25.27/sql/ |
| H A D | item_timefunc.h | 1433 Item *a, Item *b, interval_type type_arg, bool neg_arg) in Item_date_add_interval() argument
1435 int_type(type_arg), date_sub_interval(neg_arg) {} in Item_date_add_interval()
1599 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1602 sign= neg_arg ? -1 : 1; in Item_func_add_time()
1605 Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1608 sign= neg_arg ? -1 : 1; in Item_func_add_time()
|
| /dports/databases/percona57-client/percona-server-5.7.36-39/sql/ |
| H A D | item_timefunc.h | 1433 Item *a, Item *b, interval_type type_arg, bool neg_arg) in Item_date_add_interval() argument
1435 int_type(type_arg), date_sub_interval(neg_arg) {} in Item_date_add_interval()
1599 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1602 sign= neg_arg ? -1 : 1; in Item_func_add_time()
1605 Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1608 sign= neg_arg ? -1 : 1; in Item_func_add_time()
|
| /dports/databases/mysql57-client/mysql-5.7.36/sql/ |
| H A D | item_timefunc.h | 1433 Item *a, Item *b, interval_type type_arg, bool neg_arg) in Item_date_add_interval() argument
1435 int_type(type_arg), date_sub_interval(neg_arg) {} in Item_date_add_interval()
1599 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1602 sign= neg_arg ? -1 : 1; in Item_func_add_time()
1605 Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1608 sign= neg_arg ? -1 : 1; in Item_func_add_time()
|
| /dports/databases/xtrabackup/percona-xtrabackup-2.4.21/sql/ |
| H A D | item_timefunc.h | 1433 Item *a, Item *b, interval_type type_arg, bool neg_arg) in Item_date_add_interval() argument
1435 int_type(type_arg), date_sub_interval(neg_arg) {} in Item_date_add_interval()
1599 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1602 sign= neg_arg ? -1 : 1; in Item_func_add_time()
1605 Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1608 sign= neg_arg ? -1 : 1; in Item_func_add_time()
|
| /dports/databases/percona57-pam-for-mysql/percona-server-5.7.36-39/sql/ |
| H A D | item_timefunc.h | 1433 Item *a, Item *b, interval_type type_arg, bool neg_arg) in Item_date_add_interval() argument
1435 int_type(type_arg), date_sub_interval(neg_arg) {} in Item_date_add_interval()
1599 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1602 sign= neg_arg ? -1 : 1; in Item_func_add_time()
1605 Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1608 sign= neg_arg ? -1 : 1; in Item_func_add_time()
|
| /dports/databases/mysql55-client/mysql-5.5.62/sql/ |
| H A D | item_timefunc.h | 788 Item_date_add_interval(Item *a,Item *b,interval_type type_arg,bool neg_arg) in Item_date_add_interval() argument
789 :Item_date_func(a,b),int_type(type_arg), date_sub_interval(neg_arg) {} in Item_date_add_interval()
1039 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1040 :Item_str_func(a, b), is_date(type_arg) { sign= neg_arg ? -1 : 1; } in Item_func_add_time()
|
| /dports/databases/percona56-client/percona-server-5.6.51-91.0/sql/ |
| H A D | item_timefunc.h | 1321 Item_date_add_interval(Item *a,Item *b,interval_type type_arg,bool neg_arg) in Item_date_add_interval() argument
1323 int_type(type_arg), date_sub_interval(neg_arg) {} in Item_date_add_interval()
1466 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1469 sign= neg_arg ? -1 : 1; in Item_func_add_time()
|
| /dports/databases/percona-pam-for-mysql/percona-server-5.6.51-91.0/sql/ |
| H A D | item_timefunc.h | 1321 Item_date_add_interval(Item *a,Item *b,interval_type type_arg,bool neg_arg) in Item_date_add_interval() argument
1323 int_type(type_arg), date_sub_interval(neg_arg) {} in Item_date_add_interval()
1466 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1469 sign= neg_arg ? -1 : 1; in Item_func_add_time()
|
| /dports/databases/mysqlwsrep56-server/mysql-wsrep-wsrep_5.6.51-25.33/sql/ |
| H A D | item_timefunc.h | 1321 Item_date_add_interval(Item *a,Item *b,interval_type type_arg,bool neg_arg) in Item_date_add_interval() argument
1323 int_type(type_arg), date_sub_interval(neg_arg) {} in Item_date_add_interval()
1466 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1469 sign= neg_arg ? -1 : 1; in Item_func_add_time()
|
| /dports/databases/percona56-server/percona-server-5.6.51-91.0/sql/ |
| H A D | item_timefunc.h | 1321 Item_date_add_interval(Item *a,Item *b,interval_type type_arg,bool neg_arg) in Item_date_add_interval() argument
1323 int_type(type_arg), date_sub_interval(neg_arg) {} in Item_date_add_interval()
1466 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1469 sign= neg_arg ? -1 : 1; in Item_func_add_time()
|
| /dports/databases/mysql56-client/mysql-5.6.51/sql/ |
| H A D | item_timefunc.h | 1321 Item_date_add_interval(Item *a,Item *b,interval_type type_arg,bool neg_arg) in Item_date_add_interval() argument
1323 int_type(type_arg), date_sub_interval(neg_arg) {} in Item_date_add_interval()
1466 Item_func_add_time(Item *a, Item *b, bool type_arg, bool neg_arg) in Item_func_add_time() argument
1469 sign= neg_arg ? -1 : 1; in Item_func_add_time()
|
| /dports/lang/ghc/ghc-8.10.7/compiler/rename/ |
| H A D | RnTypes.hs | 1150 mkOpAppRn e1@(dL->L _ (NegApp _ neg_arg neg_name)) op2 fix2 e2
1156 = do new_e <- mkOpAppRn neg_arg op2 fix2 e2
1159 loc' = combineLocs neg_arg e2
1217 mkNegAppRn neg_arg neg_name
1218 = ASSERT( not_op_app (unLoc neg_arg) )
1219 return (NegApp noExtField neg_arg neg_name)
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | poly_rewriter_def.h | 1112 expr * neg_arg; in is_var_plus_ground() local
1129 else if (is_times_minus_one(arg, neg_arg) && is_var(neg_arg)) { in is_var_plus_ground()
1132 v = to_var(neg_arg); in is_var_plus_ground()
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | poly_rewriter_def.h | 1112 expr * neg_arg; in is_var_plus_ground() local
1129 else if (is_times_minus_one(arg, neg_arg) && is_var(neg_arg)) { in is_var_plus_ground()
1132 v = to_var(neg_arg); in is_var_plus_ground()
|
| /dports/databases/mariadb103-server/mariadb-10.3.34/sql/ |
| H A D | item_timefunc.h | 984 bool neg_arg): in Item_date_add_interval() argument
986 date_sub_interval(neg_arg) {} in Item_date_add_interval()
1230 Item_func_add_time(THD *thd, Item *a, Item *b, bool type_arg, bool neg_arg): in Item_func_add_time() argument
1232 { sign= neg_arg ? -1 : 1; } in Item_func_add_time()
|
| /dports/databases/mariadb103-client/mariadb-10.3.34/sql/ |
| H A D | item_timefunc.h | 984 bool neg_arg): in Item_date_add_interval() argument
986 date_sub_interval(neg_arg) {} in Item_date_add_interval()
1230 Item_func_add_time(THD *thd, Item *a, Item *b, bool type_arg, bool neg_arg): in Item_func_add_time() argument
1232 { sign= neg_arg ? -1 : 1; } in Item_func_add_time()
|
| /dports/math/py-mathics/Mathics3-2.2.0/mathics/builtin/compile/ |
| H A D | ir.py | 411 neg_arg = self.builder.mul(arg, int_type(-1))
413 return self.builder.select(cond, neg_arg, arg)
|