| /dports/math/rumur/rumur-2021.09.29/rumur/src/ |
| H A D | generate-print.cc | 99 mpz_class var_counter = 0; member in __anon2ce546b30111::Generator
114 var_counter(caller.var_counter) {} in Generator()
127 const std::string i = "i" + var_counter.get_str(); in visit_array()
128 ++var_counter; in visit_array()
174 ++var_counter; in visit_array()
178 ++var_counter; in visit_array()
222 const std::string i = "i" + var_counter.get_str(); in visit_array()
223 ++var_counter; in visit_array()
231 const std::string j = "j" + var_counter.get_str(); in visit_array()
232 ++var_counter; in visit_array()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | ast_counter.cpp | 78 void var_counter::count_vars(const app * pred, int coef) { in count_vars()
92 unsigned var_counter::get_max_var(bool& has_var) { in get_max_var()
130 var_counter aux_counter; in get_max_var()
146 unsigned var_counter::get_max_var(expr* e) { in get_max_var()
152 unsigned var_counter::get_next_var(expr* e) { in get_next_var()
|
| H A D | ast_counter.h | 67 class var_counter : public counter {
|
| H A D | quant_hoist.cpp | 86 unsigned index = var_counter().get_next_var(fml); in pull_quantifier()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | ast_counter.cpp | 78 void var_counter::count_vars(const app * pred, int coef) { in count_vars()
92 unsigned var_counter::get_max_var(bool& has_var) { in get_max_var()
130 var_counter aux_counter; in get_max_var()
146 unsigned var_counter::get_max_var(expr* e) { in get_max_var()
152 unsigned var_counter::get_next_var(expr* e) { in get_next_var()
|
| H A D | ast_counter.h | 69 class var_counter : public counter {
77 var_counter() {} in var_counter() function
|
| H A D | quant_hoist.cpp | 86 unsigned index = var_counter().get_next_var(fml); in pull_quantifier()
|
| /dports/misc/tvm/incubator-tvm-0.6.1/src/relay/ir/ |
| H A D | hash.cc | 225 size_t hash = std::hash<int>()(var_counter++); in BindVar()
418 int var_counter = 0; member in tvm::relay::RelayHashHandler
|
| /dports/misc/py-tvm/incubator-tvm-0.6.1/src/relay/ir/ |
| H A D | hash.cc | 225 size_t hash = std::hash<int>()(var_counter++); in BindVar()
418 int var_counter = 0; member in tvm::relay::RelayHashHandler
|
| /dports/www/firefox/firefox-99.0/third_party/rust/glslopt/glsl-optimizer/src/compiler/glsl/ |
| H A D | ir_print_glsl_visitor.cpp | 78 var_counter = 0; in global_print_tracker()
88 unsigned var_counter; member
378 id = ++globals->var_counter; in print_var_name()
528 long id = ++globals->var_counter; in visit()
|
| /dports/emulators/mess/mame-mame0226/3rdparty/bgfx/3rdparty/glsl-optimizer/src/glsl/ |
| H A D | ir_print_glsl_visitor.cpp | 73 var_counter = 0; in global_print_tracker()
83 unsigned var_counter; member
347 id = ++globals->var_counter; in print_var_name()
472 id = ++globals->var_counter; in visit()
|
| H A D | ir_print_metal_visitor.cpp | 65 var_counter = 0; in global_print_tracker_metal()
79 unsigned var_counter; member
393 id = ++globals->var_counter; in print_var_name()
564 id = ++globals->var_counter; in visit()
|
| /dports/emulators/mame/mame-mame0226/3rdparty/bgfx/3rdparty/glsl-optimizer/src/glsl/ |
| H A D | ir_print_glsl_visitor.cpp | 73 var_counter = 0; in global_print_tracker()
83 unsigned var_counter; member
347 id = ++globals->var_counter; in print_var_name()
472 id = ++globals->var_counter; in visit()
|
| H A D | ir_print_metal_visitor.cpp | 65 var_counter = 0; in global_print_tracker_metal()
79 unsigned var_counter; member
393 id = ++globals->var_counter; in print_var_name()
564 id = ++globals->var_counter; in visit()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/third_party/rust/glslopt/glsl-optimizer/src/compiler/glsl/ |
| H A D | ir_print_glsl_visitor.cpp | 78 var_counter = 0; in global_print_tracker()
88 unsigned var_counter; member
378 id = ++globals->var_counter; in print_var_name()
528 long id = ++globals->var_counter; in visit()
|
| /dports/www/firefox-esr/firefox-91.8.0/third_party/rust/glslopt/glsl-optimizer/src/compiler/glsl/ |
| H A D | ir_print_glsl_visitor.cpp | 78 var_counter = 0; in global_print_tracker()
88 unsigned var_counter; member
378 id = ++globals->var_counter; in print_var_name()
528 long id = ++globals->var_counter; in visit()
|
| /dports/lang/spidermonkey78/firefox-78.9.0/third_party/rust/glslopt/glsl-optimizer/src/compiler/glsl/ |
| H A D | ir_print_glsl_visitor.cpp | 78 var_counter = 0; in global_print_tracker()
88 unsigned var_counter; member
374 id = ++globals->var_counter; in print_var_name()
513 long id = ++globals->var_counter; in visit()
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/rel/ |
| H A D | dl_compiler.h | 201 void get_local_indexes_for_projection(app * t, var_counter & globals, unsigned ofs,
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/ |
| H A D | dl_compiler.h | 201 void get_local_indexes_for_projection(app * t, var_counter & globals, unsigned ofs,
|
| H A D | dl_mk_simple_joins.cpp | 445 var_counter counter;
|
| /dports/math/libmesh/libmesh-1.6.2/contrib/fparser/tests/ |
| H A D | make_tests.cc | 804 static unsigned var_counter = 0; in CompileTest() local
806 varnamebuf << "rvar" << var_counter++; in CompileTest()
|
| /dports/x11-toolkits/gtk40/gtk-4.4.1/gtk/ |
| H A D | gtkconstraintsolver.c | 246 int var_counter; member
1486 self->var_counter++; in gtk_constraint_solver_create_variable()
2216 g_string_append_printf (buf, "Variables: %d\n", solver->var_counter); in gtk_constraint_solver_statistics()
|
| /dports/math/py-claripy/claripy-9.0.5405/claripy/ast/ |
| H A D | base.py | 40 var_counter = itertools.count() variable
45 return "%s%s_%d_%d" % (prefix, name, next(var_counter), size)
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/base/ |
| H A D | dl_util.h | 349 class rule_counter : public var_counter {
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/base/ |
| H A D | dl_util.h | 349 class rule_counter : public var_counter {
|