Home
last modified time | relevance | path

Searched refs:fun_type1 (Results 1 – 25 of 50) sorted by relevance

12

/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_fresh_value_maker.c48 static type_t fun_type1(type_t a, type_t b) { in fun_type1() function
76 base[6] = fun_type1(base[0], base[2]); // [bool -> scalar3] in init_base_types()
77 base[7] = fun_type1(base[0], base[3]); // [bool -> scalar1] in init_base_types()
78 base[8] = fun_type1(base[2], base[0]); // [scalar3 -> bool] in init_base_types()
79 base[9] = fun_type1(base[3], base[0]); // [scalar1 -> bool] in init_base_types()
80 base[10] = fun_type1(base[0], base[0]); // [bool -> bool] in init_base_types()
81 base[11] = fun_type1(base[10], base[0]); // [[bool -> bool] -> bool] in init_base_types()
87 base[15] = fun_type1(base[14], base[0]); // [int -> bool] in init_base_types()
95 base[19] = fun_type1(base[13], base[3]); // [real -> scalar1] in init_base_types()
H A Dtest_concrete_values2.c61 static type_t fun_type1(type_t a, type_t b) { in fun_type1() function
81 base[6] = fun_type1(base[0], base[2]); // [bool -> scalar3] in init_base_types()
82 base[7] = fun_type1(base[0], base[3]); // [bool -> scalar1] in init_base_types()
83 base[8] = fun_type1(base[2], base[0]); // [scalar3 -> bool] in init_base_types()
84 base[9] = fun_type1(base[3], base[0]); // [scalar1 -> bool] in init_base_types()
189 tau = fun_type1(base[i], base[j]); in test_unary_functions()
230 tau = fun_type1(b, b); // (-> bool bool) in test_deep_type()
231 tau = fun_type1(tau, b); // (-> (-> bool bool) bool) in test_deep_type()
232 tau = fun_type1(tau, b); // (-> (-> (-> bool bool) bool) bool) in test_deep_type()
H A Dtest_concrete_values3.c48 static type_t fun_type1(type_t a, type_t b) { in fun_type1() function
66 base[6] = fun_type1(base[0], base[2]); // [bool -> scalar3] in init_base_types()
67 base[7] = fun_type1(base[0], base[3]); // [bool -> scalar1] in init_base_types()
68 base[8] = fun_type1(base[2], base[0]); // [scalar3 -> bool] in init_base_types()
69 base[9] = fun_type1(base[3], base[0]); // [scalar1 -> bool] in init_base_types()
H A Dtest_fun_trees.c140 static type_t fun_type1(type_t tau1, type_t tau2) { in fun_type1() function
216 tau = fun_type1(tau, tau); // [bool -> bool] in test1()
297 tau = fun_type1(tau, tau); // [bool -> bool] in test2()
380 tau = fun_type1(unint, tau); // [U -> bool] in test3()
461 tau = fun_type1(unint, unint); // [U -> U] in test4()
549 tau = fun_type1(tau, unint); // [bool -> U] in test5()
H A Dtest_maps.c.old135 static type_t fun_type1(type_t tau1, type_t tau2) {
180 tau = fun_type1(tau, tau); // [bool -> bool]
234 tau = fun_type1(tau, tau); // [bool -> bool]
398 tau = fun_type1(tau, unint); // [bool -> unint]
454 tau = fun_type1(unint, tau); // [unint -> bool]
/dports/science/madness/madness-ebb3fd7/src/madness/external/muParser/
H A DmuParserBase.h139 MUP_DEFINE_FUNC(fun_type1)
154 void DefinePostfixOprt(const string_type &a_strFun, fun_type1 a_pOprt, bool a_bAllowOpt=true);
155 …void DefineInfixOprt(const string_type &a_strName, fun_type1 a_pOprt, int a_iPrec=prINFIX, bool a_…
H A DmuParserCallback.h55 ParserCallback(fun_type1 a_pFun, bool a_bAllowOpti, int a_iPrec = -1, ECmdCode a_iCode=cmFUNC);
H A DmuParserCallback.cpp46 ParserCallback::ParserCallback(fun_type1 a_pFun, bool a_bAllowOpti, int a_iPrec, ECmdCode a_iCode) in ParserCallback()
H A DmuParserDef.h264 typedef value_type (*fun_type1)(value_type); typedef
/dports/cad/librecad/LibreCAD-2.2.0-rc2/libraries/muparser/include/
H A DmuParserBase.h146 void DefinePostfixOprt(const string_type &a_strFun, fun_type1 a_pOprt, bool a_bAllowOpt=true);
147 …void DefineInfixOprt(const string_type &a_strName, fun_type1 a_pOprt, int a_iPrec=prINFIX, bool a_…
H A DmuParserCallback.h54 ParserCallback(fun_type1 a_pFun, bool a_bAllowOpti, int a_iPrec = -1, ECmdCode a_iCode=cmFUNC);
/dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/bundled/muparser_v2_2_4/include/
H A DmuParserBase.h146 void DefinePostfixOprt(const string_type &a_strFun, fun_type1 a_pOprt, bool a_bAllowOpt=true);
147 …void DefineInfixOprt(const string_type &a_strName, fun_type1 a_pOprt, int a_iPrec=prINFIX, bool a_…
H A DmuParserCallback.h54 ParserCallback(fun_type1 a_pFun, bool a_bAllowOpti, int a_iPrec = -1, ECmdCode a_iCode=cmFUNC);
/dports/cad/meshlab/meshlab-Meshlab-2020.05/src/external/muparser_v225/include/
H A DmuParserBase.h146 void DefinePostfixOprt(const string_type &a_strFun, fun_type1 a_pOprt, bool a_bAllowOpt=true);
147 …void DefineInfixOprt(const string_type &a_strName, fun_type1 a_pOprt, int a_iPrec=prINFIX, bool a_…
H A DmuParserCallback.h54 ParserCallback(fun_type1 a_pFun, bool a_bAllowOpti, int a_iPrec = -1, ECmdCode a_iCode=cmFUNC);
/dports/math/muparser/muparser-2.3.2/include/
H A DmuParserBase.h143 void DefinePostfixOprt(const string_type& a_strFun, fun_type1 a_pOprt, bool a_bAllowOpt = true);
144 …void DefineInfixOprt(const string_type& a_strName, fun_type1 a_pOprt, int a_iPrec = prINFIX, bool …
H A DmuParserCallback.h56 ParserCallback(fun_type1 a_pFun, bool a_bAllowOpti, int a_iPrec = -1, ECmdCode a_iCode = cmFUNC);
/dports/cad/repsnapper/repsnapper-2.5a4/libraries/amf/amftools-code/include/muparser/
H A DmuParserBase.h145 void DefinePostfixOprt(const string_type &a_strFun, fun_type1 a_pOprt, bool a_bAllowOpt=true);
146 …void DefineInfixOprt(const string_type &a_strName, fun_type1 a_pOprt, int a_iPrec=prINFIX, bool a_…
H A DmuParserCallback.h54 ParserCallback(fun_type1 a_pFun, bool a_bAllowOpti, int a_iPrec = -1, ECmdCode a_iCode=cmFUNC);
/dports/cad/librepcb/librepcb-0.1.6/libs/muparser/include/
H A DmuParserBase.h148 void DefinePostfixOprt(const string_type& a_strFun, fun_type1 a_pOprt, bool a_bAllowOpt = true);
149 …void DefineInfixOprt(const string_type& a_strName, fun_type1 a_pOprt, int a_iPrec = prINFIX, bool …
H A DmuParserCallback.h56 ParserCallback(fun_type1 a_pFun, bool a_bAllowOpti, int a_iPrec = -1, ECmdCode a_iCode = cmFUNC);
/dports/misc/valentina/valentina-5b7e98bf48a86e3c444423a9f03533440a39aad9/src/libs/qmuparser/
H A Dqmuparserbase.h92 …void DefinePostfixOprt(const QString &a_sFun, fun_type1 a_pFun, bool a_bAllowOpt=tru…
93 … void DefineInfixOprt(const QString &a_sName, fun_type1 a_pFun, int a_iPrec=prINFIX,
H A Dqmuparsercallback_p.h45 …QmuParserCallbackData(fun_type1 a_pFun, bool a_bAllowOpti, int a_iPrec = -1, ECmdCode a_iCode=cmF…
H A Dqmuparsercallback.h57 …QmuParserCallback(fun_type1 a_pFun, bool a_bAllowOpti, int a_iPrec = -1, ECmdCode a_iCode=cmFUNC);
/dports/audio/faust/faust-2.37.3/compiler/generator/llvm/
H A Dllvm_code_container.cpp182 …FunTyped* fun_type1 = InstBuilder::genFunTyped(args1, InstBuilder::genBasicTyped(type), FunTyped::… in generateFunMap() local
189 InstBuilder::genDeclareFunInst(fun1, fun_type1, block)->accept(fCodeProducer); in generateFunMap()

12