| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | extended_rewrite.h | 92 Node extendedRewriteIte(Kind itek, Node n, bool full = true);
111 Node extendedRewritePullIte(Kind itek, Node n);
|
| H A D | extended_rewrite.cpp | 305 Node ExtendedRewriter::extendedRewriteIte(Kind itek, Node n, bool full) in extendedRewriteIte() argument
307 Assert(n.getKind() == itek); in extendedRewriteIte()
481 new_ret = nm->mkNode(itek, n[0], nn, t2); in extendedRewriteIte()
502 new_ret = nm->mkNode(itek, n[0], t1, nn); in extendedRewriteIte()
548 Node ExtendedRewriter::extendedRewritePullIte(Kind itek, Node n) in extendedRewritePullIte() argument
568 if (n[i].getKind() == itek in extendedRewritePullIte()
622 new_ret = nm->mkNode(itek, n[i][0], ite_c[i][0], ite_c[i][1]); in extendedRewritePullIte()
636 Assert(nite.getKind() == itek); in extendedRewritePullIte()
638 Node pull_ite = nm->mkNode(itek, nite[0], ip.second[0], ip.second[1]); in extendedRewritePullIte()
642 Node new_pull_ite = extendedRewriteIte(itek, pull_ite, false); in extendedRewritePullIte()
|
| /dports/science/luscus/luscus_0.8.6/plugins/diffdens/ |
| H A D | open_luscus_file.c | 358 int itek, success; in load_grid_data() local
405 itek = 0; in load_grid_data()
420 itek--; /*NOT NEEDED;*/ in load_grid_data()
423 grid->values[i] = readbuffer[itek]; in load_grid_data()
424 itek++; in load_grid_data()
|
| /dports/graphics/megapov/megapov-1.2.1/libraries/tiff/contrib/win32/ |
| H A D | README | 14 From: wagner@itek.com (scott wagner)
28 Scott Wagner (wagner@itek.com)
55 From: wagner@itek.com (scott wagner)
109 Scott Wagner (wagner@itek.com)
|
| /dports/graphics/povray36/povray-3.6.1/libraries/tiff/contrib/win32/ |
| H A D | README | 14 From: wagner@itek.com (scott wagner)
28 Scott Wagner (wagner@itek.com)
55 From: wagner@itek.com (scott wagner)
109 Scott Wagner (wagner@itek.com)
|
| /dports/mail/rspamd/rspamd-3.1/contrib/snowball/algorithms/ |
| H A D | hungarian.sbl | 217 '{e'}itek' (<- 'e')
218 'itek' (delete)
|
| /dports/databases/xapian-core/xapian-core-1.4.18/languages/ |
| H A D | hungarian.sbl | 219 '{e'}itek' (<- 'e')
220 'itek' (delete)
|
| /dports/databases/xapian-core12/xapian-core-1.2.25/languages/ |
| H A D | hungarian.sbl | 217 '{e'}itek' (<- 'e')
218 'itek' (delete)
|
| /dports/textproc/snowballstemmer/snowball-2.2.0/algorithms/ |
| H A D | hungarian.sbl | 217 '{e'}itek' (<- 'e')
218 'itek' (delete)
|
| /dports/mail/rspamd-devel/rspamd-93430bb/contrib/snowball/algorithms/ |
| H A D | hungarian.sbl | 217 '{e'}itek' (<- 'e')
218 'itek' (delete)
|
| /dports/www/zola/zola-0.15.2/cargo-crates/rust-stemmers-1.2.0/algorithms/ |
| H A D | hungarian.sbl | 217 '{e'}itek' (<- 'e')
218 'itek' (delete)
|
| /dports/x11/workrave/workrave-1.10.44/po/ |
| H A D | sl.po | 35 msgstr "_Počitek"
519 msgstr "Počitek"
600 msgstr "_Počitek"
643 msgstr "Naslednji počitek čez %s"
648 msgstr "Počitek %s zapadel"
823 msgstr "Rabite počitek ..."
847 msgstr "Počitek še %s"
857 msgstr "Rabite počitek ..."
872 msgstr "Naslednji počitek čez %s"
886 msgstr "Postavi odmor in počitek na isto mesto"
[all …]
|
| /dports/science/openkim-models/openkim-models-2021-01-28/portable-models/EAM_Dynamo_AcklandVitek_1990_Cu__MO_642748370624_000/ |
| H A D | kimcite-MO_642748370624_000.bib | 14 …ntial ({LAMMPS} cubic hermite tabulation) for {C}u developed by {A}ckland and {V}itek (1990) v000},
|
| /dports/science/luscus/luscus_0.8.6/ |
| H A D | read_file.c | 2179 int itek = 0; in read_epoten_grid() local
2244 itek = 0; in read_epoten_grid()
2249 itek--; in read_epoten_grid()
2252 m->epot[i] = readbuffer[itek]; in read_epoten_grid()
2253 itek++; in read_epoten_grid()
2528 int itek = 0; in read_grid_from_file() local
2597 itek = 0; in read_grid_from_file()
2612 itek--; in read_grid_from_file()
2615 m->grid.values[i] = readbuffer[itek]; in read_grid_from_file()
2616 itek++; in read_grid_from_file()
|
| H A D | read_file_org.c | 2177 int itek = 0; in read_epoten_grid() local
2242 itek = 0; in read_epoten_grid()
2247 itek--; in read_epoten_grid()
2250 m->epot[i] = readbuffer[itek]; in read_epoten_grid()
2251 itek++; in read_epoten_grid()
2526 int itek = 0; in read_grid_from_file() local
2595 itek = 0; in read_grid_from_file()
2610 itek--; in read_grid_from_file()
2613 m->grid.values[i] = readbuffer[itek]; in read_grid_from_file()
2614 itek++; in read_grid_from_file()
|
| /dports/mail/thunderbird-dictionaries/dictionaries/spell-hu.xpi/ |
| H A D | hu.aff | 13899 SFX B e �itek�l e
13900 SFX B e �itek��l e
13901 SFX B e �itek��rt e
13902 SFX B e �itek�v� e
13903 SFX B e �itek�vel e
13904 SFX B e �itek�t�l e
13905 SFX B e �itek�t e
13906 SFX B e �itek�r�l e
13907 SFX B e �itek�rt e
13908 SFX B e �itek�re e
[all …]
|
| /dports/hungarian/aspell/aspell6-hu-0.99.4.2-0/ |
| H A D | hu_affix.dat | 13899 SFX B e �itek�l e
13900 SFX B e �itek��l e
13901 SFX B e �itek��rt e
13902 SFX B e �itek�v� e
13903 SFX B e �itek�vel e
13904 SFX B e �itek�t�l e
13905 SFX B e �itek�t e
13906 SFX B e �itek�r�l e
13907 SFX B e �itek�rt e
13908 SFX B e �itek�re e
[all …]
|
| /dports/devel/m17n-db/m17n-db-1.8.0/glibc-2.27/localedata/charmaps/ |
| H A D | ISO-IR-197 | 4 % source: http://www.itek.norut.no/project/barent/barsek/ip/197t.html
|
| /dports/www/dooble/dooble-2021.12.05/Dictionaries/hu_HU/ |
| H A D | hu_HU.aff | 29362 SFX p 0 itek [^k] 21849
30345 SFX e ik itek szik 21849
30346 SFX e ik itek sik 21849
30347 SFX e ik itek dzik 21849
30452 SFX e 0 itek [^k] 21849
41599 SFX C ö őitekül ö 21558
41605 SFX C ö őitekét ö 21564
41611 SFX C ö őitekén ö 21570
41629 SFX C ö őitekéi ö 21588
41634 SFX C ö őiteké ö 21593
[all …]
|
| /dports/editors/libreoffice-sl/libreoffice-7.2.6.2/opt/libreoffice7.2/readmes/ |
| H A D | README_sl | 194 Upamo, da vam je delo z novim paketom LibreOffice 7.2 v užitek in da se nam boste pridružili na spl…
|
| /dports/deskutils/calibre/calibre-src-5.34.0/translations/manual/cs/ |
| H A D | drm.po | 221 " zaslouží odměnu. Netrestejte je za to, že se snaží zlepšit váš zážitek ze "
|
| /dports/x11/rsibreak/rsibreak-0.12.14/po/sl/ |
| H A D | rsibreak.po | 47 "uporabnika na počitek."
|
| /dports/deskutils/gnome-todo/gnome-todo-41.0/po/ |
| H A D | sl.po | 198 msgstr "Zdaj je pravi čas za počitek!"
|
| /dports/textproc/sl-mythes/sl-mythes-2016.06.30/ |
| H A D | th_sl_SI_v2.idx | 10172 o�itek|542177
11495 po�itek|605411
12107 pre�itek|648345
16034 u�itek|861123
|
| /dports/textproc/sl-hunspell/sl-hunspell-2020.12.31/ |
| H A D | th_sl_SI_v2.idx | 11651 o�itek|713788
13184 po�itek|794953
13867 pre�itek|850417
18229 u�itek|1119534
|