| /dports/math/boolector/boolector-3.2.2/src/ |
| H A D | btorbeta.c | 25 BtorNode *lambda, in cache_beta_result()
26 BtorNode *exp, in cache_beta_result()
64 BtorNode *lambda, in cached_beta_result()
65 BtorNode *exp) in cached_beta_result()
127 btor_beta_assign_param (Btor *btor, BtorNode *lambda, BtorNode *arg) in btor_beta_assign_param()
140 btor_beta_unassign_params (Btor *btor, BtorNode *lambda) in btor_beta_unassign_params()
169 BtorNode *exp, in beta_reduce()
579 BtorNode *exp, in beta_reduce_partial_aux()
915 BtorNode *exp, in btor_beta_reduce_merge()
938 BtorNode *exp, in btor_beta_reduce_partial_collect()
[all …]
|
| H A D | btornode.c | 459 BtorNode *exp; in setup_node_and_add_to_id_table() local
1311 btor_node_lambda_get_static_rho (BtorNode *lambda) in btor_node_lambda_get_static_rho()
1319 btor_node_lambda_set_static_rho (BtorNode *lambda, BtorPtrHashTable *static_rho) in btor_node_lambda_set_static_rho()
1327 btor_node_lambda_copy_static_rho (Btor *btor, BtorNode *lambda) in btor_node_lambda_copy_static_rho()
1351 btor_node_lambda_delete_static_rho (Btor *btor, BtorNode *lambda) in btor_node_lambda_delete_static_rho()
2043 BtorArgsNode *exp; in new_args_exp_node() local
2098 BtorBVNode *exp; in new_node() local
2310 BtorBVVarNode *exp; in btor_node_create_var() local
2329 BtorUFNode *exp; in btor_node_create_uf() local
2353 BtorParamNode *exp; in btor_node_create_param() local
[all …]
|
| H A D | btorcore.c | 72 #define BTOR_COND_INVERT_AIG_NODE(exp, aig) \ argument
195 BtorNode *exp, in btor_insert_substitution()
829 BtorNode *exp; in release_all_ext_exp_refs() local
897 BtorNode *exp; in btor_delete() local
1361 BtorNode *exp, in normalize_substitution()
1367 BtorNode *left, *right, *real_left, *real_right, *tmp, *inv, *var, *lambda; in normalize_substitution() local
1706 add_constraint (Btor *btor, BtorNode *exp) in add_constraint()
2014 BtorNode *exp; in btor_fixate_assumptions() local
2474 BtorNode *exp, in btor_synthesize_exp()
2775 BtorNode *exp, *cur, *e; in btor_add_again_assumptions() local
[all …]
|
| /dports/lang/kawa/kawa-3.1.1/gnu/kawa/functions/ |
| H A D | ValuesMap.java | 69 static LambdaExp canInline (ApplyExp exp, ValuesMap proc) in canInline()
84 public void compile (ApplyExp exp, Compilation comp, Target target) in compile()
86 LambdaExp lambda = canInline(exp, this); in compile() local
103 public static void compileInlined(LambdaExp lambda, Expression vals, in compileInlined()
|
| H A D | CompileMisc.java | 16 (ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) in validateApplyConstantFunction0()
29 (ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) in validateApplyConvert()
61 (ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) in validateApplySimpleBoolean()
72 (ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) in validateApplyFormat()
127 (ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) in validateApplyAppendValues()
157 (ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) in validateApplyMakeProcedure()
217 (ApplyExp exp, InlineCalls visitor, Type required, Procedure proc) in validateApplyValuesMap()
297 public static boolean compileEq(ApplyExp exp, Compilation comp, in compileEq()
528 static int classifyForNumCompare (Expression exp) in classifyForNumCompare()
606 LambdaExp lambda = canInlineCallCC(exp); in compileCallCC() local
[all …]
|
| /dports/biology/infernal/infernal-1.1.3/src/ |
| H A D | stats.c | 67 int debug_print_expinfo(ExpInfo_t *exp) in debug_print_expinfo()
291 int E2ScoreGivenExpInfo(ExpInfo_t *exp, char *errbuf, double E, float *ret_sc) in E2ScoreGivenExpInfo()
311 int P2ScoreGivenExpInfo(ExpInfo_t *exp, char *errbuf, double P, float *ret_sc) in P2ScoreGivenExpInfo()
330 double Score2E (float x, double mu, double lambda, double eff_dbsize) in Score2E()
346 float cm_p7_E2Score(double E, double Z, int hitlen, float mu, float lambda) in cm_p7_E2Score()
360 float cm_p7_P2Score(double P, float mu, float lambda) in cm_p7_P2Score()
433 ExpInfo_t *exp = NULL; in CreateExpInfo() local
460 SetExpInfo(ExpInfo_t *exp, double lambda, double mu_orig, double dbsize, int nrandhits, double tail… in SetExpInfo()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Web.Extensions/ui/WebControls/Expressions/ |
| H A D | ExpressionHelper.cs | 8 public static Expression GetValue(Expression exp) { in GetValue()
51 public static IQueryable Where(this IQueryable source, LambdaExpression lambda) { in Where()
66 … IQueryable Call(this IQueryable source, string queryableMethod, LambdaExpression lambda, params T… in Call()
|
| /dports/math/lambda/lambda-0.1.4/ |
| H A D | parse.cc | 62 exp_node* exp = 0; in expression() local
155 exp_node* exp = extraction(penv,inp); in expression() local
171 exp_node* exp = application(); in expression() local
201 exp_node* exp = 0; in application() local
235 lambda() in lambda() function in lambda_expression_parser
237 exp_node* exp = 0; in lambda() local
280 exp_node* exp = 0; in alist() local
308 exp_node* exp = 0; in atom() local
346 exp_node* exp= expression(); in definition() local
413 exp_node* exp = 0; in extraction() local
|
| /dports/lang/kawa/kawa-3.1.1/gnu/kawa/reflect/ |
| H A D | TypeSwitch.java | 46 public void compile(ApplyExp exp, Compilation comp, Target target) { in compile()
65 LambdaExp lambda = (LambdaExp) arg; in compile() local
|
| /dports/lang/kawa/kawa-3.1.1/kawa/standard/ |
| H A D | SchemeCompilation.java | 34 public boolean isApplyFunction (Expression exp) in isApplyFunction()
40 public boolean isSimpleApplyFunction (Expression exp) in isSimpleApplyFunction()
55 public static final Lambda lambda = new kawa.lang.Lambda(); field in SchemeCompilation
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Linq/SqlClient/Query/ |
| H A D | Funcletizer.cs | 28 internal override Expression Visit(Expression exp) { in Visit()
75 internal override Expression VisitLambda(LambdaExpression lambda) { in VisitLambda()
146 internal virtual Expression Visit(Expression exp) { in Visit()
384 internal virtual Expression VisitLambda(LambdaExpression lambda) { in VisitLambda()
|
| H A D | QueryConverter.cs | 274 private SqlSelect VisitSequence(Expression exp) { in VisitSequence()
365 private SqlNode VisitLambda(LambdaExpression lambda) { in VisitLambda()
399 private SqlExpression VisitExpression(Expression exp) { in VisitExpression()
1626 …private SqlNode VisitAggregate(Expression sequence, LambdaExpression lambda, SqlNodeType aggType, … in VisitAggregate()
1771 private SqlExpression GetAggregate(SqlNodeType aggType, Type clrType, SqlExpression exp) { in GetAggregate()
1814 private SqlNode VisitQuantifier(Expression sequence, LambdaExpression lambda, bool isAny) { in VisitQuantifier()
1818 private SqlNode VisitQuantifier(SqlSelect select, LambdaExpression lambda, bool isAny) { in VisitQuantifier()
2371 private SqlNode VisitFirst(Expression sequence, LambdaExpression lambda, bool isFirst) { in VisitFirst()
|
| /dports/math/boolector/boolector-3.2.2/src/preprocess/ |
| H A D | btorunconstrained.c | 28 BtorNode *lambda; in is_uc_write() local
39 mark_uc (Btor *btor, BtorIntHashTable *uc, BtorNode *exp) in mark_uc()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Entity/System/Data/Objects/ELinq/ |
| H A D | EntityExpressionVisitor.cs | 25 internal virtual Expression Visit(Expression exp) in Visit()
306 internal virtual Expression VisitLambda(LambdaExpression lambda) in VisitLambda()
384 …internal static Expression Visit(Expression exp, Func<Expression, Func<Expression, Expression>, Ex… in Visit() argument
397 internal override Expression Visit(Expression exp) in Visit()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/System.Data.Services.Client/Client/System/Data/Services/Client/ALinq/ |
| H A D | ExpressionWriter.cs | 63 internal override Expression Visit(Expression exp) in Visit()
78 internal override Expression VisitLambda(LambdaExpression lambda) in VisitLambda()
363 private static bool IsInputReference(Expression exp) in IsInputReference()
|
| H A D | ExpressionVisitor.cs | 98 internal virtual Expression Visit(Expression exp) in Visit()
490 internal virtual Expression VisitLambda(LambdaExpression lambda) in VisitLambda()
|
| /dports/math/xtensor-python/xtensor-python-0.26.0/test/ |
| H A D | test_pyvectorize.cpp | 37 TEST(pyvectorize, lambda) in TEST() argument
54 double exp = std::abs(a(1, 1)); in TEST() local
|
| /dports/biology/infernal/infernal-1.1.3/easel/ |
| H A D | esl_gumbel.c | 54 esl_gumbel_pdf(double x, double mu, double lambda) in esl_gumbel_pdf()
92 esl_gumbel_cdf(double x, double mu, double lambda) in esl_gumbel_cdf()
401 double lambda, mu; in esl_gumbel_FitComplete() local
659 double lambda, mu; in esl_gumbel_FitCensored() local
825 double mu, w, lambda; in tevd_func() local
865 double mu, lambda, w; in tevd_grad() local
963 double mu, lambda; in esl_gumbel_FitTruncated() local
1052 int exp; in main() local
1058 double mu, lambda; in main() local
1187 double lambda; in utest_fitting() local
[all …]
|
| /dports/biology/hmmer/hmmer-3.3/easel/ |
| H A D | esl_gumbel.c | 54 esl_gumbel_pdf(double x, double mu, double lambda) in esl_gumbel_pdf()
92 esl_gumbel_cdf(double x, double mu, double lambda) in esl_gumbel_cdf()
401 double lambda, mu; in esl_gumbel_FitComplete() local
659 double lambda, mu; in esl_gumbel_FitCensored() local
825 double mu, w, lambda; in tevd_func() local
865 double mu, lambda, w; in tevd_grad() local
963 double mu, lambda; in esl_gumbel_FitTruncated() local
1052 int exp; in main() local
1058 double mu, lambda; in main() local
1187 double lambda; in utest_fitting() local
[all …]
|
| /dports/lang/mono/mono-5.10.1.57/external/rx/Rx/NET/Source/System.Reactive.Providers/Reactive/Linq/ |
| H A D | ExpressionVisitor.cs | 19 public virtual Expression Visit(Expression exp) in Visit()
298 protected virtual Expression VisitLambda(LambdaExpression lambda) in VisitLambda()
|
| /dports/science/simlib/simlib/src/ |
| H A D | random2.cc | 94 double Weibul(double lambda, double alfa) in Weibul()
154 double exp = -mv * std::log(Random()); in Exponential() local
229 int Poisson(double lambda) in Poisson()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Core/System/Linq/Expressions/ |
| H A D | ExpressionVisitor.cs | 18 internal virtual Expression Visit(Expression exp) { in Visit()
269 internal virtual Expression VisitLambda(LambdaExpression lambda) in VisitLambda()
|
| /dports/misc/quantum++/qpp-3.0/qasmtools/include/qasmtools/parser/ |
| H A D | parser.hpp | 703 auto exp = parse_exp(); in parse_atom() local
710 auto exp = parse_atom(); in parse_atom() local
747 auto exp = parse_exp(); in parse_atom() local
878 auto lambda = parse_exp(); in parse_unitary() local
|
| /dports/devel/boost-docs/boost_1_72_0/libs/metaparse/example/compile_to_native_code/ |
| H A D | main.cpp | 212 struct lambda : apply_wrap1<function_parser, Exp> {}; struct
227 #define LAMBDA(exp) apply_wrap1<function_parser, BOOST_METAPARSE_STRING(#exp)>::type argument
|
| /dports/devel/boost-python-libs/boost_1_72_0/libs/metaparse/example/compile_to_native_code/ |
| H A D | main.cpp | 212 struct lambda : apply_wrap1<function_parser, Exp> {}; struct
227 #define LAMBDA(exp) apply_wrap1<function_parser, BOOST_METAPARSE_STRING(#exp)>::type argument
|