Home
last modified time | relevance | path

Searched defs:onk (Results 1 – 25 of 30) sorted by relevance

12

/dports/math/igraph/igraph-0.9.5/src/games/degree_sequence_vl/
H A Dgengraph_degree_sequence.cpp389 for (int *onk = nb + (qmax - qmin + 1); onk != nb; * (--onk) = 0) { } in cumul_sort() local
/dports/math/R-cran-igraph/igraph/src/
H A Dgengraph_degree_sequence.cpp388 for (int *onk = nb + (qmax - qmin + 1); onk != nb; * (--onk) = 0) { } in cumul_sort() local
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dextended_rewrite.cpp894 Kind onk = nk == andk ? ork : andk; in extendedRewriteFactoring() local
/dports/security/chntpw/chntpw-140201/
H A Dntreg.c2414 struct nk_key *key, *newnk, *onk; in add_key() local
2695 struct nk_key *key, *onk, *delnk; in del_key() local
/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A Dtheory_strings_rewriter.cpp610 Kind onk = on.getKind(); in rewriteArithEqualityExt() local
/dports/mail/rspamd/rspamd-3.1/contrib/languages-data/
H A Dso.json1 …367,"N":163,"O":122,"H":180,"I":236,"J":129,"K":173,"U":82,"T":107,"W":226,"V":11,"Q":76,"P":22,"S… number
H A Dfi.json1 …19249,"O":13807,"H":28813,"I":21256,"J":16698,"K":43440,"U":7805,"T":36899,"W":9333,"V":24290,"P":… number
H A Daf.json1 …2514,"H":3034,"I":2837,"J":2196,"K":3663,"U":687,"T":2336,"W":2258,"V":2714,"Q":182,"P":3097,"S":8…
H A Dpl.json1 …"N":86269,"O":63924,"H":50582,"I":84977,"J":54373,"K":109538,"U":33818,"T":71466,"W":122172,"V":29… number
H A Dms.json1 …239,"O":4712,"H":13017,"I":28961,"J":16075,"K":40946,"U":8179,"T":34101,"W":6762,"V":4890,"Q":1060…
H A Deu.json1 …19703,"O":18871,"H":20234,"I":17795,"J":9363,"K":12674,"U":5646,"T":16850,"W":3928,"V":9991,"Q":11…
H A Dbr.json1 …:1684,"H":4028,"I":4207,"J":2162,"K":6749,"U":5511,"T":3855,"W":1494,"V":2500,"Q":172,"P":6579,"S"… string
H A Dsl.json1 …"O":6564,"H":9046,"I":7126,"J":7268,"K":11757,"U":2722,"T":7824,"W":1905,"V":10234,"Q":288,"P":166…
H A Dlt.json1 …11003,"C":5201,"L":15923,"M":12432,"N":7515,"O":2898,"H":3427,"I":6943,"J":8588,"K":17851,"U":3005…
H A Det.json1 …":2986,"H":6531,"I":5403,"J":4779,"K":13384,"U":2720,"T":11888,"W":2107,"V":9682,"Q":266,"P":11422…
/dports/mail/rspamd-devel/rspamd-93430bb/contrib/languages-data/
H A Dso.json1 …367,"N":163,"O":122,"H":180,"I":236,"J":129,"K":173,"U":82,"T":107,"W":226,"V":11,"Q":76,"P":22,"S… number
H A Daf.json1 …2514,"H":3034,"I":2837,"J":2196,"K":3663,"U":687,"T":2336,"W":2258,"V":2714,"Q":182,"P":3097,"S":8…
H A Dfi.json1 …19249,"O":13807,"H":28813,"I":21256,"J":16698,"K":43440,"U":7805,"T":36899,"W":9333,"V":24290,"P":… number
H A Dpl.json1 …"N":86269,"O":63924,"H":50582,"I":84977,"J":54373,"K":109538,"U":33818,"T":71466,"W":122172,"V":29… number
H A Deu.json1 …19703,"O":18871,"H":20234,"I":17795,"J":9363,"K":12674,"U":5646,"T":16850,"W":3928,"V":9991,"Q":11…
H A Dms.json1 …239,"O":4712,"H":13017,"I":28961,"J":16075,"K":40946,"U":8179,"T":34101,"W":6762,"V":4890,"Q":1060…
H A Dbr.json1 …:1684,"H":4028,"I":4207,"J":2162,"K":6749,"U":5511,"T":3855,"W":1494,"V":2500,"Q":172,"P":6579,"S"… number
H A Dlt.json1 …11003,"C":5201,"L":15923,"M":12432,"N":7515,"O":2898,"H":3427,"I":6943,"J":8588,"K":17851,"U":3005…
H A Dsl.json1 …"O":6564,"H":9046,"I":7126,"J":7268,"K":11757,"U":2722,"T":7824,"W":1905,"V":10234,"Q":288,"P":166…
H A Det.json1 …":2986,"H":6531,"I":5403,"J":4779,"K":13384,"U":2720,"T":11888,"W":2107,"V":9682,"Q":266,"P":11422…

12