| /dports/math/yacas/yacas-1.9.1/scripts/predicates.rep/ |
| H A D | code.ys | 252 /// Predicates HasExpr*, HasFunc*, ListHasFunc
284 /// HasFunc --- test for an expression containing a function
286 10 # HasFunc(_expr, string_IsString) <-- HasFunc(expr, Atom(string));
289 10 # HasFunc(expr_IsAtom, atom_IsAtom) <-- False;
292 20 # HasFunc(expr_IsFunction, atom_IsAtom) <-- Equals(Head(Listify(expr)), atom) Or ListHasFunc(Tai…
311 20 # ListHasFunc(expr_IsList, atom_IsAtom) <-- HasFunc(Head(expr), atom) Or ListHasFunc(Tail(expr),…
|
| H A D | code.ys.def | 38 HasFunc
|
| /dports/math/yacas/yacas-1.9.1/tests/ |
| H A D | predicates.yts | 115 Verify(HasFunc(a*b+1,*),True);
116 Verify(HasFunc(a+Sin(b*c),*),True);
117 Verify(HasFunc(a*b+1,List),False);
118 Verify(HasFunc(a*b+f({b,c}),List),True);
|
| /dports/devel/hyperscan/boost_1_75_0/boost/contract/detail/condition/ |
| H A D | cond_inv.hpp | 184 template<template<class> class HasFunc, template<class> class FuncAddr>
200 HasFunc<boost::mpl::_1> in apply()
|
| /dports/science/py-scipy/scipy-1.7.1/scipy/_lib/boost/boost/contract/detail/condition/ |
| H A D | cond_inv.hpp | 184 template<template<class> class HasFunc, template<class> class FuncAddr>
200 HasFunc<boost::mpl::_1> in apply()
|
| /dports/math/stanmath/math-4.2.0/lib/boost_1.75.0/boost/contract/detail/condition/ |
| H A D | cond_inv.hpp | 184 template<template<class> class HasFunc, template<class> class FuncAddr>
200 HasFunc<boost::mpl::_1> in apply()
|
| /dports/devel/boost-libs/boost_1_72_0/boost/contract/detail/condition/ |
| H A D | cond_inv.hpp | 184 template<template<class> class HasFunc, template<class> class FuncAddr>
200 HasFunc<boost::mpl::_1> in apply()
|
| /dports/devel/boost-python-libs/boost_1_72_0/boost/contract/detail/condition/ |
| H A D | cond_inv.hpp | 184 template<template<class> class HasFunc, template<class> class FuncAddr>
200 HasFunc<boost::mpl::_1> in apply()
|
| /dports/math/py-pystan/pystan-2.19.0.0/pystan/stan/lib/stan_math/lib/boost_1.69.0/boost/contract/detail/condition/ |
| H A D | cond_inv.hpp | 184 template<template<class> class HasFunc, template<class> class FuncAddr>
200 HasFunc<boost::mpl::_1> in apply()
|
| /dports/devel/boost-docs/boost_1_72_0/boost/contract/detail/condition/ |
| H A D | cond_inv.hpp | 184 template<template<class> class HasFunc, template<class> class FuncAddr>
200 HasFunc<boost::mpl::_1> in apply()
|
| /dports/devel/boost-docs/boost_1_72_0/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/devel/hyperscan/boost_1_75_0/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/devel/R-cran-BH/BH/inst/include/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/math/stanmath/math-4.2.0/lib/boost_1.75.0/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/science/py-scipy/scipy-1.7.1/scipy/_lib/boost/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/bundled/boost-1.70.0/include/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/emulators/citra/citra-ac98458e0/externals/boost/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/emulators/citra-qt5/citra-ac98458e0/externals/boost/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/security/keybase/client-v5.7.1/shared/ios/Pods/boost-for-react-native/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/devel/boost-libs/boost_1_72_0/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/devel/boost-python-libs/boost_1_72_0/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/sysutils/usbtop/usbtop-release-1.0/third-party/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/math/py-pystan/pystan-2.19.0.0/pystan/stan/lib/stan_math/lib/boost_1.69.0/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/audio/supercollider/SuperCollider-3.11.0-Source/external_libraries/boost/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|
| /dports/graphics/povray37/povray-3.7.0.10/libraries/boost/boost/intrusive/detail/ |
| H A D | has_member_function_callable_with.hpp | 181 template<typename Fun, bool HasFunc, class ...Args>
219 …template<typename Fun, bool HasFunc BOOST_INTRUSIVE_HAS_MEMBER_FUNCTION_CALLABLE_WITH_COMMA_IF BOO…
|