| /dports/lang/yap/yap-6.2.2/packages/ProbLog/simplecudd_lfi/ |
| H A D | simplecudd.c | 483 for (i = 0; i < varmap.varcnt; i++) varmap.ivalue[i] = 0; in LoadNodeDump()
868 varmap->vars = (char **) realloc(varmap->vars, sizeof(char *) * newvarcnt); in EnlargeNamedVars()
869 varmap->loaded = (int *) realloc(varmap->loaded, sizeof(int) * newvarcnt); in EnlargeNamedVars()
871 varmap->ivalue = (int *) realloc(varmap->ivalue, sizeof(int) * newvarcnt); in EnlargeNamedVars()
942 return varmap.vars[GetIndex(node) - varmap.varstart]; in GetNodeVarName()
949 return varmap.vars[GetIndex(node) - varmap.varstart]; in GetNodeVarNameDisp()
953 while (varmap->vars[varmap->varcnt - 1] == NULL && varmap->varcnt>0){ in RepairVarcnt()
954 varmap->varcnt--; in RepairVarcnt()
956 return varmap->varcnt; in RepairVarcnt()
1000 mappos = get_var_pos_in_map(map, varmap.vars[ivar], varmap.varcnt); in ImposeOrder()
[all …]
|
| H A D | problogbdd_lfi.c | 222 namedvars varmap; member
744 tvalue = MyManager.varmap.dvalue[GetIndex(Current) - MyManager.varmap.varstart]; in CalcProbability()
856 MyManager->varmap.dynvalue[GetIndex(node) - MyManager->varmap.varstart], in skip_nodes()
885 MyManager->varmap.vars[idx - MyManager->varmap.varstart], in skip_nodes_cnt()
888 ivalue = MyManager->varmap.ivalue[idx - MyManager->varmap.varstart]; in skip_nodes_cnt()
894 p=dprob*MyManager->varmap.dvalue[idx - MyManager->varmap.varstart]; in skip_nodes_cnt()
955 tvalue = MyManager->varmap.dvalue[GetIndex(node) - MyManager->varmap.varstart]; in CalcExpectedCountsDown()
956 ivalue = MyManager->varmap.ivalue[GetIndex(node) - MyManager->varmap.varstart]; in CalcExpectedCountsDown()
957 dynvalue = MyManager->varmap.vars[GetIndex(node) - MyManager->varmap.varstart]; in CalcExpectedCountsDown()
1069 tvalue = MyManager->varmap.dvalue[GetIndex(Current) - MyManager->varmap.varstart]; in CalcExpectedCountsUp()
[all …]
|
| H A D | simplecudd.h | 282 DdNode* OnlineGenerateBDD(DdManager *manager, namedvars *varmap);
290 int LoadVariableData(namedvars varmap, char *filename);
294 int ImposeOrder(DdManager *manager, const namedvars varmap, char **map);
297 void EnlargeNamedVars(namedvars *varmap, int newvarcnt);
298 int AddNamedVarAt(namedvars varmap, const char *varname, int index);
299 int AddNamedVar(namedvars varmap, const char *varname);
302 int GetNamedVarIndex(const namedvars varmap, const char *varname);
303 int RepairVarcnt(namedvars *varmap);
304 char* GetNodeVarName(DdManager *manager, namedvars varmap, DdNode *node);
305 char* GetNodeVarNameDisp(DdManager *manager, namedvars varmap, DdNode *node);
[all …]
|
| H A D | Example.c | 194 namedvars varmap; member
219 MyManager.varmap = InitNamedVars(1, 0); in main()
220 bdd = OnlineGenerateBDD(MyManager.manager, &MyManager.varmap); in main()
255 LoadVariableData(MyManager.varmap, "testdata.txt"); in main()
258 a = GetVariableOrder("testdata.txt", MyManager.varmap.varcnt); in main()
260 for (aa = 0; aa < MyManager.varmap.varcnt; aa++) in main()
262 ImposeOrder(MyManager.manager, MyManager.varmap, a); in main()
293 curnode = GetNodeVarNameDisp(MyManager.manager, MyManager.varmap, Current); in DFS()
294 if (GetIndex(Current) < MyManager.varmap.varcnt) { in DFS()
295 …)\n", curnode, MyManager.varmap.dvalue[GetIndex(Current)], MyManager.varmap.ivalue[GetIndex(Curren… in DFS()
[all …]
|
| /dports/lang/yap/yap-6.2.2/packages/cplint/approx/simplecuddLPADs/ |
| H A D | simplecudd.c | 390 fprintf(outputfile, "%s\n%i\n%i\n", "@NODES1", varmap.varcnt, varmap.varstart); in SaveNodeDump()
475 for (i = 0; i < varmap.varcnt; i++) varmap.ivalue[i] = 0; in LoadNodeDump()
786 varmap->vars = (char **) realloc(varmap->vars, sizeof(char *) * newvarcnt); in EnlargeNamedVars()
787 varmap->loaded = (int *) realloc(varmap->loaded, sizeof(int) * newvarcnt); in EnlargeNamedVars()
788 varmap->dvalue = (double *) realloc(varmap->dvalue, sizeof(double) * newvarcnt); in EnlargeNamedVars()
789 varmap->ivalue = (int *) realloc(varmap->ivalue, sizeof(int) * newvarcnt); in EnlargeNamedVars()
907 return varmap.vars[GetIndex(node) - varmap.varstart]; in GetNodeVarName()
914 return varmap.vars[GetIndex(node) - varmap.varstart]; in GetNodeVarNameDisp()
918 while (varmap->vars[varmap->varcnt - 1] == NULL) in RepairVarcnt()
919 varmap->varcnt--; in RepairVarcnt()
[all …]
|
| H A D | simplecudd.h | 210 #define GetMVar(manager, index, value, varmap) equality(manager,index,value,varmap)//Cudd_bddIthVar… argument
294 DdNode* OnlineGenerateBDD(DdManager *manager, namedvars *varmap);
301 int LoadVariableData(namedvars varmap, char *filename);
308 void EnlargeNamedVars(namedvars *varmap, int newvarcnt);
309 int AddNamedVarAt(namedvars varmap, const char *varname, int index);
310 int AddNamedVar(namedvars varmap, const char *varname);
314 int GetNamedVarIndex(const namedvars varmap, const char *varname);
315 int RepairVarcnt(namedvars *varmap);
316 char* GetNodeVarName(DdManager *manager, namedvars varmap, DdNode *node);
318 int all_loaded(namedvars varmap, int disp);
[all …]
|
| H A D | ProblogBDD.c | 226 namedvars varmap; member
424 free(MyManager.varmap.dvalue); in main()
425 free(MyManager.varmap.ivalue); in main()
426 free(MyManager.varmap.dynvalue); in main()
429 free(MyManager.varmap.vars[i]); in main()
433 free(MyManager.varmap.vars); in main()
434 free(MyManager.varmap.mvars); in main()
435 free(MyManager.varmap.bVar2mVar); in main()
687 tvalue = MyManager.varmap.dvalue[GetIndex(Current) - MyManager.varmap.varstart]; in CalcProbability()
788 Found = GetNode1(MyManager.varmap.bVar2mVar,MyManager.his, MyManager.varmap.varstart, node); in Prob()
[all …]
|
| /dports/lang/yap/yap-6.2.2/packages/ProbLog/simplecudd/ |
| H A D | simplecudd.c | 491 for (i = 0; i < varmap.varcnt; i++) varmap.ivalue[i] = 0; in LoadNodeDump()
842 varmap->vars = (char **) realloc(varmap->vars, sizeof(char *) * newvarcnt); in EnlargeNamedVars()
843 varmap->loaded = (int *) realloc(varmap->loaded, sizeof(int) * newvarcnt); in EnlargeNamedVars()
845 varmap->ivalue = (int *) realloc(varmap->ivalue, sizeof(int) * newvarcnt); in EnlargeNamedVars()
916 return varmap.vars[GetIndex(node) - varmap.varstart]; in GetNodeVarName()
923 return varmap.vars[GetIndex(node) - varmap.varstart]; in GetNodeVarNameDisp()
927 while (varmap->vars[varmap->varcnt - 1] == NULL) in RepairVarcnt()
928 varmap->varcnt--; in RepairVarcnt()
956 mappos = get_var_pos_in_map(map, varmap.vars[ivar], varmap.varcnt); in ImposeOrder()
1560 EnlargeNamedVars(varmap, varmap->varcnt + 1); in OnlineLineParser()
[all …]
|
| H A D | simplecudd.h | 281 DdNode* OnlineGenerateBDD(DdManager *manager, namedvars *varmap);
289 int LoadVariableData(namedvars varmap, char *filename);
293 int ImposeOrder(DdManager *manager, const namedvars varmap, char **map);
296 void EnlargeNamedVars(namedvars *varmap, int newvarcnt);
297 int AddNamedVarAt(namedvars varmap, const char *varname, int index);
298 int AddNamedVar(namedvars varmap, const char *varname);
301 int GetNamedVarIndex(const namedvars varmap, const char *varname);
302 int RepairVarcnt(namedvars *varmap);
303 char* GetNodeVarName(DdManager *manager, namedvars varmap, DdNode *node);
304 char* GetNodeVarNameDisp(DdManager *manager, namedvars varmap, DdNode *node);
[all …]
|
| H A D | problogbdd.c | 238 namedvars varmap; member
677 for(i = MyManager->varmap.varstart ;i < MyManager->varmap.varcnt; i++){ in exact_strategy_search()
678 names[i- MyManager->varmap.varstart] = MyManager->varmap.vars[i]; in exact_strategy_search()
924 return varmap.vars[index - varmap.varstart]; in GetAddNodeVarNameDisp()
946 MyManager->varmap.dvalue[GetIndex(Current) - MyManager->varmap.varstart] = 0; in extractstrategy()
950 MyManager->varmap.dvalue[GetIndex(Current) - MyManager->varmap.varstart] = 1; in extractstrategy()
1025 MyManager->varmap.dvalue[i] = 1-MyManager->varmap.dvalue[i]; in local_strategy_search()
1033 MyManager->varmap.dvalue[i] = 1-MyManager->varmap.dvalue[i]; in local_strategy_search()
1184 printf("strategy(%s,%g).\n",varmap.vars[i]+1, varmap.dvalue[i]); in print_strategy()
1187 printf("strategy('%s',%g).\n",varmap.vars[i]+1, varmap.dvalue[i]); in print_strategy()
[all …]
|
| /dports/textproc/zorba/zorba-2.7.0/src/compiler/rewriter/rules/ |
| H A D | hoist_rules.cpp | 102 VarIdMap varmap; in apply() local
104 expr_tools::index_flwor_vars(node, numVars, varmap, NULL); in apply()
131 const VarIdMap& varmap, in hoist_expressions() argument
352 const VarIdMap& varmap, in try_hoisting() argument
395 if (contains_var(trycatchVar, varmap, varset)) in try_hoisting()
415 if (contains_var(gvars[i].second, varmap, varset)) in try_hoisting()
424 if (contains_var(ngvars[i].second, varmap, varset)) in try_hoisting()
446 if (contains_var(flc->get_var(), varmap, varset) || in try_hoisting()
534 const VarIdMap& varmap, in contains_var() argument
542 VarIdMap::const_iterator i = varmap.find(v); in contains_var()
[all …]
|
| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | scip_copy.h | 152 …SCIP_HASHMAP* varmap, /**< a hashmap to store the mapping of source variables …
202 …SCIP_HASHMAP* varmap, /**< a hashmap to store the mapping of source variables …
244 …SCIP_HASHMAP* varmap, /**< a hashmap to store the mapping of source variables …
694 …SCIP_HASHMAP* varmap, /**< a hashmap to store the mapping of source variables …
742 …SCIP_HASHMAP* varmap, /**< a hashmap to store the mapping of source variables …
788 …SCIP_HASHMAP* varmap, /**< a hashmap to store the mapping of source variables …
838 …SCIP_HASHMAP* varmap, /**< a hashmap to store the mapping of source variables …
973 …SCIP_HASHMAP* varmap, /**< a hashmap to store the mapping of source variables …
1047 …SCIP_HASHMAP* varmap, /**< a hashmap to store the mapping of source variables …
1110 …SCIP_HASHMAP* varmap, /**< a hashmap to store the mapping of source variables …
[all …]
|
| H A D | scip_copy.c | 415 uselocalvarmap = (varmap == NULL); in copyProb()
424 localvarmap = varmap; in copyProb()
726 uselocalvarmap = (varmap == NULL); in SCIPgetVarCopy()
765 localvarmap = varmap; in SCIPgetVarCopy()
976 uselocalvarmap = (varmap == NULL); in copyVars()
985 localvarmap = varmap; in copyVars()
1581 localvarmap = varmap; in SCIPgetConsCopy()
1712 localvarmap = varmap; in SCIPcopyConss()
1916 localvarmap = varmap; in SCIPcopyOrigConss()
2205 localvarmap = varmap; in SCIPcopyConflicts()
[all …]
|
| /dports/lang/basic256/basic256-2.0.0.11/ |
| H A D | Variables.cpp | 49 delete(varmap[recurselevel][i]); in ~Variables()
51 delete[] varmap[recurselevel]; in ~Variables()
54 varmap.clear(); in ~Variables()
61 if(!varmap.empty()) { in debug()
66 s += varmap[i][j]->data->debug(); in debug()
81 varmap.resize(recurselevel+1); in allocateRecurseLevel()
85 varmap[recurselevel][i] = NULL; in allocateRecurseLevel()
97 delete varmap[recurselevel][i]; in clearRecurseLevel()
98 varmap[recurselevel][i] = NULL; in clearRecurseLevel()
149 v = varmap[level][varnum]; in getAt()
[all …]
|
| /dports/graphics/seexpr/seexpr-3.4.4.0/src/SeExpr2/UI/ |
| H A D | BasicExpression.cpp | 36 deleteAndClear(varmap); in clearVars()
54 VARMAP::iterator i = varmap.find(name); in resolveVar()
55 if (i != varmap.end()) in resolveVar()
58 varmap[name] = new VectorRef(); in resolveVar()
59 return varmap[name]; in resolveVar()
|
| /dports/textproc/zorba/zorba-2.7.0/src/compiler/rewriter/tools/ |
| H A D | expr_tools.cpp | 391 const VarIdMap& varmap, in build_expr_to_vars_map() argument
522 const VarIdMap& varmap, in remove_wincond_vars() argument
529 set_bit(inVars.curr, varmap, freeset, false); in remove_wincond_vars()
530 set_bit(inVars.prev, varmap, freeset, false); in remove_wincond_vars()
531 set_bit(inVars.next, varmap, freeset, false); in remove_wincond_vars()
534 set_bit(outVars.curr, varmap, freeset, false); in remove_wincond_vars()
535 set_bit(outVars.prev, varmap, freeset, false); in remove_wincond_vars()
536 set_bit(outVars.next, varmap, freeset, false); in remove_wincond_vars()
545 const VarIdMap& varmap, in set_bit() argument
552 VarIdMap::const_iterator i = varmap.find(v); in set_bit()
[all …]
|
| /dports/math/p5-Math-Symbolic-Custom-CCompiler/Math-Symbolic-Custom-CCompiler-1.04/lib/Math/Symbolic/Custom/ |
| H A D | CCompiler.pm | 110 my @varmap;
113 push @varmap, '_V'.$startvar;
122 $code .= _rec_ms_to_c($tree, \%vars, \@varmap);
131 my $varmap = shift;
142 $code .= ' ' . $varmap->[$vars->{ $tree->name() }] . ' ';
160 $vars, $varmap )
|
| /dports/lang/duktape-lib/duktape-2.6.0/src-separate/ |
| H A D | duk_js_var.c | 562 DUK_ASSERT(env->varmap == NULL); in duk_create_activation_environment_record()
565 duk_hobject *varmap; in duk_create_activation_environment_record() local
568 if (varmap != NULL) { in duk_create_activation_environment_record()
569 env->varmap = varmap; in duk_create_activation_environment_record()
570 DUK_HOBJECT_INCREF(thr, varmap); in duk_create_activation_environment_record()
644 duk_hobject *varmap; in duk_js_close_environment_record() local
657 varmap = ((duk_hdecenv *) env)->varmap; in duk_js_close_environment_record()
658 if (varmap == NULL) { in duk_js_close_environment_record()
788 DUK_ASSERT(env->varmap != NULL); in duk__getid_open_decl_env_regs()
824 duk_hobject *varmap; in duk__getid_activation_regs() local
[all …]
|
| /dports/lang/duktape-lib/duktape-2.6.0/src-input/ |
| H A D | duk_js_var.c | 562 DUK_ASSERT(env->varmap == NULL); in duk_create_activation_environment_record()
565 duk_hobject *varmap; in duk_create_activation_environment_record() local
568 if (varmap != NULL) { in duk_create_activation_environment_record()
569 env->varmap = varmap; in duk_create_activation_environment_record()
570 DUK_HOBJECT_INCREF(thr, varmap); in duk_create_activation_environment_record()
644 duk_hobject *varmap; in duk_js_close_environment_record() local
657 varmap = ((duk_hdecenv *) env)->varmap; in duk_js_close_environment_record()
658 if (varmap == NULL) { in duk_js_close_environment_record()
788 DUK_ASSERT(env->varmap != NULL); in duk__getid_open_decl_env_regs()
824 duk_hobject *varmap; in duk__getid_activation_regs() local
[all …]
|
| /dports/lang/duktape/duktape-2.6.0/src-input/ |
| H A D | duk_js_var.c | 562 DUK_ASSERT(env->varmap == NULL); in duk_create_activation_environment_record()
565 duk_hobject *varmap; in duk_create_activation_environment_record() local
568 if (varmap != NULL) { in duk_create_activation_environment_record()
569 env->varmap = varmap; in duk_create_activation_environment_record()
570 DUK_HOBJECT_INCREF(thr, varmap); in duk_create_activation_environment_record()
644 duk_hobject *varmap; in duk_js_close_environment_record() local
657 varmap = ((duk_hdecenv *) env)->varmap; in duk_js_close_environment_record()
658 if (varmap == NULL) { in duk_js_close_environment_record()
788 DUK_ASSERT(env->varmap != NULL); in duk__getid_open_decl_env_regs()
824 duk_hobject *varmap; in duk__getid_activation_regs() local
[all …]
|
| /dports/lang/duktape/duktape-2.6.0/src-separate/ |
| H A D | duk_js_var.c | 562 DUK_ASSERT(env->varmap == NULL); in duk_create_activation_environment_record()
565 duk_hobject *varmap; in duk_create_activation_environment_record() local
568 if (varmap != NULL) { in duk_create_activation_environment_record()
569 env->varmap = varmap; in duk_create_activation_environment_record()
570 DUK_HOBJECT_INCREF(thr, varmap); in duk_create_activation_environment_record()
644 duk_hobject *varmap; in duk_js_close_environment_record() local
657 varmap = ((duk_hdecenv *) env)->varmap; in duk_js_close_environment_record()
658 if (varmap == NULL) { in duk_js_close_environment_record()
788 DUK_ASSERT(env->varmap != NULL); in duk__getid_open_decl_env_regs()
824 duk_hobject *varmap; in duk__getid_activation_regs() local
[all …]
|
| /dports/math/pspp/pspp-1.4.1/src/ui/gui/ |
| H A D | psppire-dialog-action-autorecode.c | 51 if (g_hash_table_size (rd->varmap) != n_vars) in dialog_state_valid()
72 if (rd->varmap) in refresh()
73 g_hash_table_remove_all (rd->varmap); in refresh()
128 g_hash_table_iter_init (&iter, rd->varmap); in generate_syntax()
138 g_hash_table_iter_init (&iter, rd->varmap); in generate_syntax()
187 g_hash_table_remove (rd->varmap, var); in on_change_clicked()
191 g_hash_table_insert (rd->varmap, var, nlp); in on_change_clicked()
217 g_hash_table_iter_init (&iter, rd->varmap); in on_entry_change()
265 nlp = g_hash_table_lookup (rd->varmap, var); in on_selection_change()
304 nlp = g_hash_table_lookup (rd->varmap, var); in render_new_var_name()
[all …]
|
| H A D | psppire-dialog-action-recode-different.c | 45 if (g_hash_table_size (rdd->varmap) != gtk_tree_model_iter_n_children (model, NULL)) in difx_variable_treeview_is_populated()
88 if (rdd->varmap) in refresh()
89 g_hash_table_remove_all (rdd->varmap); in refresh()
162 nlp = g_hash_table_lookup (rdd->varmap, var); in render_new_var_name()
202 g_hash_table_remove (rdd->varmap, var); in on_change_clicked()
206 g_hash_table_insert (rdd->varmap, var, nlp); in on_change_clicked()
251 nlp = g_hash_table_lookup (rdd->varmap, var); in on_selection_change()
305 rdd->varmap = g_hash_table_new_full (g_direct_hash, g_direct_equal, NULL, nlp_destroy); in populate_treeview()
361 nlp = g_hash_table_lookup (rdd->varmap, var); in append_into_clause()
381 g_hash_table_iter_init (&iter, rdd->varmap); in append_string_declarations()
[all …]
|
| /dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/repn/beta/ |
| H A D | matrix.py | 452 varmap = comp._varmap
510 varmap = comp._varmap
513 variables = tuple(varmap[jcols[p]]
527 varmap = comp._varmap
546 varmap = comp._varmap
552 if varmap[jcols[p]].fixed)
567 varmap = comp._varmap
571 return sum(varmap[jcols[p]] * vals[p]
643 varmap): argument
650 assert len(varmap) == ncols
[all …]
|
| /dports/devel/boost-docs/boost_1_72_0/libs/geometry/doc/src/docutils/tools/doxygen_xml2qbk/ |
| H A D | doxygen_xml2qbk.cpp | 102 po::variables_map varmap; in main() local
108 po::store(po::parse_config_file(config_file, description), varmap); in main()
112 po::store(po::parse_command_line(argc, argv, description), varmap); in main()
115 po::notify(varmap); in main()
117 if (varmap.count("version")) in main()
122 else if (varmap.count("help")) in main()
|