Searched refs:bimpl (Results 1 – 6 of 6) sorted by relevance
| /dports/math/py-Diofant/Diofant-0.13.0/diofant/core/ |
| H A D | facts.py | 174 for bcond, bimpl in beta_rules:
186 for bcond, bimpl in beta_rules:
193 if bimpl not in x_all and bargs.issubset(x_all):
194 ximpls.add(bimpl)
198 bimpl_impl = x_impl.get(bimpl)
204 for bidx, (bcond, bimpl) in enumerate(beta_rules):
209 if bimpl in x_all:
441 for bcond, bimpl in P.rules_beta:
443 ({_as_pair(a) for a in bcond.args}, _as_pair(bimpl)))
548 bcond, bimpl = beta_rules[bidx]
[all …]
|
| /dports/math/py-sympy/sympy-1.9/sympy/core/ |
| H A D | facts.py | 165 for bcond, bimpl in beta_rules:
177 for bcond, bimpl in beta_rules:
184 if bimpl not in x_all and bargs.issubset(x_all):
185 ximpls.add(bimpl)
189 bimpl_impl = x_impl.get(bimpl)
195 for bidx, (bcond, bimpl) in enumerate(beta_rules):
200 if bimpl in x_all:
431 for bcond, bimpl in P.rules_beta:
433 ({_as_pair(a) for a in bcond.args}, _as_pair(bimpl)))
532 bcond, bimpl = beta_rules[bidx]
[all …]
|
| /dports/devel/kyua/kyua-0.13/engine/ |
| H A D | scheduler.hpp | 189 struct bimpl;
193 std::shared_ptr< bimpl > _pbimpl;
197 result_handle(std::shared_ptr< bimpl >);
220 test_result_handle(std::shared_ptr< bimpl >, std::shared_ptr< impl >);
|
| H A D | scheduler.cpp | 593 struct engine::scheduler::result_handle::bimpl : utils::noncopyable { struct in engine::scheduler::result_handle
610 bimpl(const executor::exit_handle generic_, exec_data_map& all_exec_data_) : in bimpl() argument
616 ~bimpl(void) in ~bimpl() argument
627 scheduler::result_handle::result_handle(std::shared_ptr< bimpl > pbimpl) : in result_handle()
748 std::shared_ptr< bimpl > pbimpl, std::shared_ptr< impl > pimpl) : in test_result_handle()
1252 std::shared_ptr< result_handle::bimpl > result_handle_bimpl( in wait_any()
1253 new result_handle::bimpl(handle, _pimpl->all_exec_data)); in wait_any()
|
| /dports/math/reduce/Reduce-svn5758-src/packages/redlog/ibalp/ |
| H A D | ibalp.red | 277 algebraic infix bimpl;
278 put('bimpl,'number!-of!-args,2);
279 put('bimpl,'fancy!-prifn,'ibalp_fancy!-pribimpl);
280 newtok '((!- !>) bimpl) where !*msg=nil;
281 put('bimpl,'fancy!-infix!-symbol,"\rightarrow ");
282 precedence bimpl,bequiv;
298 precedence brepl,bimpl;
314 precedence bor,bimpl;
339 flag('(band bor bimpl brepl bequiv equal neq),'spaced);
453 op memq '(bnot band bor bimpl brepl bequiv);
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/packages/redlog/texi/ |
| H A D | redlog.texi | 1234 @deffnx {Binary Infix operator} bimpl
1245 resp. The operators @code{bimpl}, @code{brepl}, and @code{bequiv} may be
|