Home
last modified time | relevance | path

Searched refs:OP_ACOSH (Results 1 – 18 of 18) sorted by relevance

/dports/math/casadi/casadi-3.5.5/casadi/core/
H A Dcalculus.hpp75 OP_ASINH, OP_ACOSH, OP_ATANH, enumerator
896 struct UnaryOperation<OP_ACOSH>{
996 case OP_ACOSH: return F<OP_ACOSH>::check; in operation_getter()
1232 case OP_ACOSH: CNAME<OP_ACOSH>::fcn(X, Y, F, N); break; \ in fun()
1314 case OP_ACOSH: BinaryOperation<OP_ACOSH>::der(X, Y, F, D); break; \ in der()
1373 case OP_ACOSH: DerBinaryOpertion<OP_ACOSH>::derf(X, Y, F, D); break; \ in derF()
1432 case OP_ACOSH: \
1529 case OP_ACOSH: return "acosh"; in name()
H A Dgeneric_expression.hpp388 return ExType::unary(OP_ACOSH, x); in acosh()
H A Dsx_elem.cpp394 case OP_ACOSH: in unary()
/dports/math/reduce/Reduce-svn5758-src/csl/fox/src/
H A DFXExpression.cpp140 OP_ACOSH, enumerator
261 case OP_ACOSH: in dump()
1041 case OP_ACOSH: *sp=acosh(*sp); break; in evaluate()
1045 case OP_ACOSH: *sp=log(*sp + sqrt(*sp * *sp - 1.0)); break; in evaluate()
/dports/x11-toolkits/fox16/fox-1.6.57/src/
H A DFXExpression.cpp140 OP_ACOSH, enumerator
261 case OP_ACOSH: in dump()
1041 case OP_ACOSH: *sp=acosh(*sp); break; in evaluate()
1045 case OP_ACOSH: *sp=log(*sp + sqrt(*sp * *sp - 1.0)); break; in evaluate()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Darith_decl_plugin.h72 OP_ACOSH, enumerator
314 bool is_acosh(expr const* n) const { return is_app_of(n, m_afid, OP_ACOSH); } in is_acosh()
467 app * mk_acosh(expr * arg) { return m_manager.mk_app(m_afid, OP_ACOSH, arg); } in mk_acosh()
H A Darith_decl_plugin.cpp216 MK_UNARY(m_acosh_decl, "acosh", OP_ACOSH, r); in set_manager()
390 case OP_ACOSH: return m_acosh_decl; in mk_func_decl()
609 op_names.push_back(builtin_name("acosh", OP_ACOSH)); in get_op_names()
/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Darith_decl_plugin.h72 OP_ACOSH, enumerator
310 bool is_acosh(expr const* n) const { return is_app_of(n, arith_family_id, OP_ACOSH); } in is_acosh()
469 app * mk_acosh(expr * arg) { return m_manager.mk_app(arith_family_id, OP_ACOSH, arg); } in mk_acosh()
H A Darith_decl_plugin.cpp216 MK_UNARY(m_acosh_decl, "acosh", OP_ACOSH, r); in set_manager()
390 case OP_ACOSH: return m_acosh_decl; in mk_func_decl()
609 op_names.push_back(builtin_name("acosh", OP_ACOSH)); in get_op_names()
/dports/audio/vm-lv2/vm-0.14.0/
H A Dvm.h129 OP_ACOSH, enumerator
609 [OP_ACOSH] = {
H A Dvm.c768 case OP_ACOSH: in run_internal()
/dports/audio/gogglesmm/gogglesmm-1.2.2/cfox/lib/
H A DFXExpression.cpp173 OP_ACOSH, enumerator
1040 case OP_ACOSH: *sp=Math::acosh(*sp); break; in evaluate()
/dports/x11-toolkits/fox17/fox-1.7.77/lib/
H A DFXExpression.cpp173 OP_ACOSH, enumerator
1044 case OP_ACOSH: *sp=Math::acosh(*sp); break; in evaluate()
/dports/math/casadi/casadi-3.5.5/casadi/interfaces/ampl/
H A Dampl_interface.cpp224 case OP_ACOSH: work[o0] = "o52\n" + work[i0]; break; in init()
/dports/math/z3/z3-z3-4.8.13/src/math/subpaving/tactic/
H A Dexpr2subpaving.cpp328 case OP_ACOSH: in process_arith_app()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/subpaving/tactic/
H A Dexpr2subpaving.cpp323 case OP_ACOSH:
/dports/astro/p5-Starlink-AST/Starlink-AST-1.05/ast/
H A Dmathmap.c249 OP_ACOSH, /* Inverse hyperbolic cosine */ enumerator
390 { "acosh(" , 6, 0, 1, 1, 0, 19, 1, 1, 0, 1, OP_ACOSH },
2584 ARG_1( OP_ACOSH, *y = ( x < 1.0 ) ? AST__BAD : in EvaluateFunction()
/dports/lang/newlisp/newlisp-10.7.5/
H A Dnl-math.c48 #define OP_ACOSH 22 macro
616 CELL * p_acosh(CELL * params) { return(functionFloat(params, OP_ACOSH)); } in p_acosh()
651 case OP_ACOSH: floatN = acosh(floatN); break; in functionFloat()