| /dports/cad/openroad/OpenROAD-2.0/src/OpenDB/src/db/ |
| H A D | dbHashTable.hpp | 59 dbHashTable<T>::dbHashTable(const dbHashTable<T>& t) in dbHashTable()
84 uint sz = _hash_tbl.size(); in growTable() local
125 uint sz = _hash_tbl.size(); in shrinkTable() local
171 uint sz = _hash_tbl.size(); in insert() local
178 uint r = _num_entries / sz; in insert() local
195 uint sz = _hash_tbl.size(); in find() local
218 uint sz = _hash_tbl.size(); in hasMember() local
241 uint sz = _hash_tbl.size(); in remove() local
259 uint r = (_num_entries + _num_entries / 10) / sz; in remove() local
|
| H A D | dbIntHashTable.hpp | 60 dbIntHashTable<T>::dbIntHashTable(const dbIntHashTable<T>& t) in dbIntHashTable()
85 uint sz = _hash_tbl.size(); in growTable() local
126 uint sz = _hash_tbl.size(); in shrinkTable() local
172 uint sz = _hash_tbl.size(); in insert() local
179 uint r = _num_entries / sz; in insert() local
196 uint sz = _hash_tbl.size(); in find() local
219 uint sz = _hash_tbl.size(); in hasMember() local
242 uint sz = _hash_tbl.size(); in remove() local
260 uint r = (_num_entries + _num_entries / 10) / sz; in remove() local
|
| /dports/lang/pcc/pcc-1.1.0/arch/arm/ |
| H A D | code.c | 197 NODE *p, *q, *t; in param_double() local
229 NODE *p, *q, *t; in param_float() local
281 int sz; in param_struct() local
533 int sz; in pusharg() local
578 NODE *q, *r; in movearg_64bit() local
621 NODE *q, *r; in movearg_float() local
670 NODE *q, *r; in movearg_double() local
718 NODE *l, *q, *t, *r; in movearg_struct() local
722 int sz; in movearg_struct() local
780 NODE *r, **rp; in moveargs() local
[all …]
|
| /dports/net/megacmd/MEGAcmd-1.4.1_Win/sdk/src/ |
| H A D | mega_evt_tls.cpp | 32 evt_endpt_t evt_tls_get_role(const evt_tls_t *t) in evt_tls_get_role()
42 void evt_tls_set_role(evt_tls_t *t, evt_endpt_t role) in evt_tls_set_role()
74 int r = 0; in evt_ctx_get_tls() local
149 int r = SSL_CTX_use_certificate_file(tls->ctx, crtf, SSL_FILETYPE_PEM); in evt_ctx_set_crt_key() local
207 int r = 0; in evt_ctx_init_ex() local
213 int evt_ctx_is_crtf_set(evt_ctx_t *t) in evt_ctx_is_crtf_set()
218 int evt_ctx_is_key_set(evt_ctx_t *t) in evt_ctx_is_key_set()
242 static int evt__tls__op(evt_tls_t *conn, enum tls_op_type op, void *buf, int sz) in evt__tls__op()
244 int r = 0; in evt__tls__op() local
337 int evt_tls_feed_data(evt_tls_t *c, void *data, int sz) in evt_tls_feed_data()
|
| /dports/textproc/py-openpyxl/openpyxl-2.6.4/openpyxl/cell/ |
| H A D | text.py | 54 t = NestedText(expected_type=unicode) variable in PhoneticText
57 def __init__(self, argument
86 sz = Font.sz variable in InlineFont
107 sz=None, argument
135 t = NestedText(expected_type=unicode, allow_none=True) variable in RichText
140 def __init__(self, argument
152 t = NestedText(allow_none=True, expected_type=unicode) variable in Text
154 r = Sequence(expected_type=RichText, allow_none=True) variable in Text
163 def __init__(self, argument
165 r=(), argument
|
| /dports/lang/pcc/pcc-1.1.0/arch/mips/ |
| H A D | local.c | 35 #define IALLOC(sz) (isinlining ? permalloc(sz) : tmpalloc(sz)) argument
45 NODE *r, *l; in clocal() local
385 cisreg(TWORD t) in cisreg()
398 spalloc(NODE *t, NODE *p, OFFSZ off) in spalloc()
429 TWORD t; in ninval() local
626 int sz = 1; in mips_builtin_stdarg_start() local
660 NODE *p, *q, *r; in mips_builtin_va_arg() local
661 int sz, tmpnr; in mips_builtin_va_arg() local
|
| /dports/math/givaro/givaro-4.1.1/src/kernel/gmp++/ |
| H A D | gmp++_int_rand.inl | 131 Integer r ; local
181 size_t t = s.bitsize() ; local
258 Integer r ; local
293 Integer r ; local
314 Integer& Integer::random (Integer& r, const T & m)
321 Integer Integer::random(const T & sz)
339 Integer& Integer::random (Integer& r, const T & m)
345 Integer Integer::random(const T & sz)
355 Integer Integer::nonzerorandom(const T & sz)
357 Integer r; local
[all …]
|
| /dports/devel/upp/upp/bazaar/FormEditor/ |
| H A D | FormViewDraw.cpp | 15 Rect r = Zoom(GetPageRect()); in Paint() local
128 Size sz = GetPageRect().GetSize(); in DrawGrid() local
138 void FormView::DrawRect(Draw& w, const Point& p, const Size& sz, int width, Color clr) in DrawRect()
148 void FormView::DrawRect(Draw& w, const Rect& r, int width, Color clr) in DrawRect()
156 void FormView::DrawSprings(Draw& w, const Rect& r, dword align, dword valign, in DrawSprings()
256 Size t = GetTextSize( temp, _Font ); in DrawObject() local
292 void FormView::DrawGroupTools(Draw& w, const Rect& r) in DrawGroupTools()
299 Rect t; in DrawGroupTools() local
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/core/ |
| H A D | dom_simplify_tactic.cpp | 143 bool expr_dominators::compile(unsigned sz, expr * const* es) { in compile()
200 expr_ref r(m); in simplify_ite() local
201 expr * c = nullptr, *t = nullptr, *e = nullptr; in simplify_ite() local
244 expr_ref r(m); in simplify_arg() local
255 expr_ref r(m); in simplify_rec() local
309 expr_ref r(m); in simplify_and_or() local
364 expr_ref t = simplify_rec(ee); in simplify_not() local
373 unsigned sz = g.size(); in init() local
394 unsigned sz = g.size(); in simplify_goal() local
444 bool r; in is_subexpr() local
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/core/ |
| H A D | dom_simplify_tactic.cpp | 143 bool expr_dominators::compile(unsigned sz, expr * const* es) { in compile()
200 expr_ref r(m); in simplify_ite() local
201 expr * c = nullptr, *t = nullptr, *e = nullptr; in simplify_ite() local
244 expr_ref r(m); in simplify_arg() local
255 expr_ref r(m); in simplify_rec() local
309 expr_ref r(m); in simplify_and_or() local
364 expr_ref t = simplify_rec(ee); in simplify_not() local
373 unsigned sz = g.size(); in init() local
394 unsigned sz = g.size(); in simplify_goal() local
444 bool r; in is_subexpr() local
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/bv/ |
| H A D | bv_bounds_tactic.cpp | 28 static uint64_t uMaxInt(unsigned sz) { in uMaxInt()
39 unsigned sz; member
187 rational r; in is_number() local
198 unsigned sz; in is_bound() local
254 static void get_param_descrs(param_descrs& r) { in get_param_descrs()
375 bool contains_bound(expr* t) { in contains_bound()
481 rational r; in is_number() local
492 unsigned sz = 0; in is_bound() local
548 static void get_param_descrs(param_descrs& r) { in get_param_descrs()
592 void operator()(expr_ref& r) override { in operator ()()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/bv/ |
| H A D | bv_bounds_tactic.cpp | 28 static uint64_t uMaxInt(unsigned sz) { in uMaxInt()
39 unsigned sz; member
187 rational r; in is_number() local
198 unsigned sz; in is_bound() local
254 static void get_param_descrs(param_descrs& r) { in get_param_descrs()
374 bool contains_bound(expr* t) { in contains_bound()
480 rational r; in is_number() local
491 unsigned sz = 0; in is_bound() local
547 static void get_param_descrs(param_descrs& r) { in get_param_descrs()
591 void operator()(expr_ref& r) override { in operator ()()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | rewriter_def.h | 44 expr * r; in process_var() local
141 bool rewriter_tpl<Config>::visit(expr * t, unsigned max_depth) { in visit()
172 expr * r = get_cached(t); in visit() local
230 bool rewriter_tpl<Config>::constant_fold(app * t, frame & fr) { in constant_fold()
265 void rewriter_tpl<Config>::process_app(app * t, frame & fr) { in process_app()
429 unsigned sz = m_bindings.size(); in process_app() local
535 unsigned sz = m_bindings.size(); in process_quantifier() local
716 void rewriter_tpl<Config>::main_loop(expr * t, expr_ref & result, proof_ref & result_pr) { in main_loop()
765 expr * t = fr.m_curr; in resume_core() local
770 expr * r = get_cached(t); in resume_core() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | rewriter_def.h | 44 expr * r; in process_var() local
141 bool rewriter_tpl<Config>::visit(expr * t, unsigned max_depth) { in visit()
172 expr * r = get_cached(t); in visit() local
219 bool rewriter_tpl<Config>::constant_fold(app * t, frame & fr) { in constant_fold()
254 void rewriter_tpl<Config>::process_app(app * t, frame & fr) { in process_app()
418 unsigned sz = m_bindings.size(); in process_app() local
524 unsigned sz = m_bindings.size(); in process_quantifier() local
706 void rewriter_tpl<Config>::main_loop(expr * t, expr_ref & result, proof_ref & result_pr) { in main_loop()
755 expr * t = fr.m_curr; in resume_core() local
760 expr * r = get_cached(t); in resume_core() local
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | theory_array_bapa.cpp | 189 enode* r = get_root(sz1->get_arg(0)); in ensure_functional() local
231 expr* t = sz2->get_arg(0); in ensure_disjoint() local
265 expr* t = sz1->get_arg(0); in add_disjoint() local
299 expr_ref mk_subtract(expr* t, expr* s) { in mk_subtract()
305 expr_ref mk_intersect(expr* t, expr* s) { in mk_intersect()
329 expr* sz = k->get_arg(1); in ensure_values_assigned() local
401 lbool r = ensure_no_overflow(kv.m_key, *kv.m_value); in ensure_no_overflow() local
530 lbool trace_call(char const* msg, lbool r) { in trace_call()
540 lbool r = trace_call("ensure_functional", ensure_functional()); in final_check() local
561 app* sz = kv.m_key; in init_model() local
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/bit_blaster/ |
| H A D | bit_blaster_tpl.h | 54 void mk_xor(expr * a, expr * b, expr_ref & r) { Cfg::mk_xor(a, b, r); } in mk_xor()
57 void mk_iff(expr * a, expr * b, expr_ref & r) { Cfg::mk_iff(a, b, r); } in mk_iff()
58 void mk_and(expr * a, expr * b, expr_ref & r) { Cfg::mk_and(a, b, r); } in mk_and()
60 void mk_and(unsigned sz, expr * const * args, expr_ref & r) { Cfg::mk_and(sz, args, r); } in mk_and()
61 void mk_or(expr * a, expr * b, expr_ref & r) { Cfg::mk_or(a, b, r); } in mk_or()
63 void mk_or(unsigned sz, expr * const * args, expr_ref & r) { Cfg::mk_or(sz, args, r); } in mk_or()
64 void mk_not(expr * a, expr_ref & r) { Cfg::mk_not(a, r); } in mk_not()
65 void mk_ite(expr * c, expr * t, expr * e, expr_ref & r) { Cfg::mk_ite(c, t, e, r); } in mk_ite()
66 void mk_nand(expr * a, expr * b, expr_ref & r) { Cfg::mk_nand(a, b, r); } in mk_nand()
67 void mk_nor(expr * a, expr * b, expr_ref & r) { Cfg::mk_nor(a, b, r); } in mk_nor()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/bit_blaster/ |
| H A D | bit_blaster_tpl.h | 58 void mk_xor(expr * a, expr * b, expr_ref & r) { Cfg::mk_xor(a, b, r); } in mk_xor()
61 void mk_iff(expr * a, expr * b, expr_ref & r) { Cfg::mk_iff(a, b, r); } in mk_iff()
62 void mk_and(expr * a, expr * b, expr_ref & r) { Cfg::mk_and(a, b, r); } in mk_and()
64 void mk_and(unsigned sz, expr * const * args, expr_ref & r) { Cfg::mk_and(sz, args, r); } in mk_and()
65 void mk_or(expr * a, expr * b, expr_ref & r) { Cfg::mk_or(a, b, r); } in mk_or()
67 void mk_or(unsigned sz, expr * const * args, expr_ref & r) { Cfg::mk_or(sz, args, r); } in mk_or()
68 void mk_not(expr * a, expr_ref & r) { Cfg::mk_not(a, r); } in mk_not()
69 void mk_ite(expr * c, expr * t, expr * e, expr_ref & r) { Cfg::mk_ite(c, t, e, r); } in mk_ite()
70 void mk_nand(expr * a, expr * b, expr_ref & r) { Cfg::mk_nand(a, b, r); } in mk_nand()
71 void mk_nor(expr * a, expr * b, expr_ref & r) { Cfg::mk_nor(a, b, r); } in mk_nor()
[all …]
|
| /dports/devel/upp/upp/uppsrc/IconDes/ |
| H A D | Image.cpp | 71 Size sz = m.GetSize(); in SymmX() local
80 Size sz = c.image.GetSize(); in SymmX() local
112 Size sz = m.GetSize(); in SymmY() local
121 Size sz = c.image.GetSize(); in SymmY() local
171 Size sz(minmax((int)~dlg.cx, 1, 9999), minmax((int)~dlg.cy, 1, 9999)); in SmoothRescale() local
271 RGBA *t = w; in Colorize2() local
287 int r, g, b; in Colorize2() local
352 Size sz = h.GetSize(); in FreeRotate() local
418 RGBA *t = ib; in Alpha() local
461 RGBA *t = ib; in Colors() local
|
| /dports/audio/muse-sequencer/muse-4.0.0/src/muse/components/ |
| H A D | routepopup.cpp | 355 const MusECore::Route r(mt, -1); in addMidiTracks() local
530 MusECore::Route r(i, -1); in addMidiPorts() local
744 const int sz = ol.size(); in addJackPorts() local
1000 const int sz = act_list.size(); in addJackPorts() local
1288 const int sz = actions().size(); in mouseReleaseEvent() local
1522 const int sz = actions().size(); in mousePressEvent() local
1654 const int sz = actions().size(); in mouseMoveEvent() local
1857 const int sz = actions().size(); in routePopupHovered() local
2160 const int sz = list.size(); in updateItemTexts() local
2233 const int sz = list.size(); in preferredPortAliasChanged() local
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/hilbert/ |
| H A D | heap_trie.h | 154 unsigned sz = 1; in num_nodes() local
162 unsigned sz = 0; in num_leaves() local
312 trie* t = to_trie(n); in collect_statistics() local
339 unsigned sz = 0; in collect_statistics() local
379 void first(node* r) { in first()
382 trie* t = to_trie(r); in first() local
411 node* r = t->nodes()[i].second; in fwd() local
483 trie* t = to_trie(n); in reorder_keys() local
494 unsigned sz = 0; in reorder_keys() local
562 bool r = check(to_leaf(n)->get_value()); in find_le() local
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/math/hilbert/ |
| H A D | heap_trie.h | 154 unsigned sz = 1; in num_nodes() local
162 unsigned sz = 0; in num_leaves() local
313 trie* t = to_trie(n); in collect_statistics() local
340 unsigned sz = 0; in collect_statistics() local
380 void first(node* r) { in first()
383 trie* t = to_trie(r); in first() local
412 node* r = t->nodes()[i].second; in fwd() local
484 trie* t = to_trie(n); in reorder_keys() local
495 unsigned sz = 0; in reorder_keys() local
563 bool r = check(to_leaf(n)->get_value()); in find_le() local
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/api/ |
| H A D | api_ast_vector.cpp | 34 Z3_ast_vector r = of_ast_vector(v); in Z3_mk_ast_vector() local
73 ast * r = to_ast_vector_ref(v).get(i); in Z3_ast_vector_get() local
106 Z3_ast_vector Z3_API Z3_ast_vector_translate(Z3_context c, Z3_ast_vector v, Z3_context t) { in Z3_ast_vector_translate()
116 unsigned sz = to_ast_vector_ref(v).size(); in Z3_ast_vector_translate() local
131 unsigned sz = to_ast_vector_ref(v).size(); in Z3_ast_vector_to_string() local
|
| /dports/editors/texmacs/TeXmacs-1.99.4-src/src/Graphics/Fonts/ |
| H A D | font_translate.cpp | 33 array<string> r; in get_variant() local
65 array<string> r; in get_shape() local
94 static hashmap<string,string> t (""); in upgrade_family_name() local
182 array<string> r; in variant_features() local
201 array<string> r; in series_features() local
210 array<string> r; in shape_features() local
232 array<string> r; in logical_font() local
257 tree t = closest_cache[key]; in find_closest() local
277 tree t= tuple (family, variant, series, shape); in find_closest() local
285 int sz, int dpi, int attempt) { in closest_font()
|
| /dports/lang/pcc/pcc-1.1.0/arch/i386/ |
| H A D | code.c | 136 int sz = tsize(BTYPE(cftnsp->stype), cftnsp->sdf, cftnsp->sap); local
200 int argbase, nrarg, sz; local
438 TWORD t; local
440 int sz, r; local
493 NODE *r, *l; local
494 TWORD t = DECREF(DECREF(p->n_left->n_type)); local
|
| /dports/x11/xmx/xmx-1.1/ |
| H A D | bufio.c | 112 register i, t; local
191 register r, t; local
263 register i, r, t; local
342 register i, r, t; local
405 register r, t; local
463 register sz; local
|