Searched defs:lambda_var (Results 1 – 3 of 3) sorted by relevance
103 BtorNode *var, *cur, *result, *lambda_var, *temp; in btor_eliminate_slices_on_bv_vars() local
1386 if(hasArg(lambda_var)) lambda_var <- list(...)$lambda_var else lambda_var <- NULL functionVar1438 if(hasArg(lambda_var)) lambda_var <- list(...)$lambda_var else lambda_var <- NULL list1495 if(hasArg(lambda_var)) lambda_var <- list(...)$lambda_var else lambda_var <- NULL functionVar
188 const unsigned int lambda_var = system.variable_number ("lambda"); in assemble_elasticity() local