| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | seq_axioms.cpp | 93 expr_ref s(_s, m), i(_i, m), l(_l, m); in add_extract_axiom() local
169 bool seq_axioms::is_drop_last(expr* s, expr* i, expr* l) { in is_drop_last()
181 bool seq_axioms::is_tail(expr* s, expr* i, expr* l) { in is_tail()
193 bool seq_axioms::is_extract_prefix0(expr* s, expr* i, expr* l) { in is_extract_prefix0()
198 bool seq_axioms::is_extract_suffix(expr* s, expr* i, expr* l) { in is_extract_suffix()
209 void seq_axioms::add_extract_prefix_axiom(expr* e, expr* s, expr* l) { in add_extract_prefix_axiom()
631 literal lek = mk_le(len, k); in add_stoi_axiom() local
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | seq_axioms.cpp | 196 auto l = purify(_l); in extract_axiom() local
273 bool axioms::is_drop_last(expr* s, expr* i, expr* l) { in is_drop_last()
285 bool axioms::small_segment_axiom(expr* s, expr* e, expr* i, expr* l) { in small_segment_axiom()
299 bool axioms::is_tail(expr* s, expr* i, expr* l) { in is_tail()
310 bool axioms::is_extract_prefix(expr* s, expr* i, expr* l) { in is_extract_prefix()
315 bool axioms::is_extract_suffix(expr* s, expr* i, expr* l) { in is_extract_suffix()
328 void axioms::extract_prefix_axiom(expr* e, expr* s, expr* l) { in extract_prefix_axiom()
748 expr_ref lek = mk_le(len, k); in stoi_axiom() local
|
| /dports/mail/rspamd/rspamd-3.1/contrib/languages-data/ |
| H A D | sw.json | 1 …3120,"T":5185,"W":4730,"V":1116,"P":2090,"S":3343,"R":1632,"Y":517,"Z":395,"f":11048,"g":13829,"d"… number
|
| H A D | id.json | 1 …W":10090,"V":6089,"Q":1321,"P":55685,"S":65231,"R":21435,"Y":7072,"X":1468,"Z":2501,"f":36925,"g":… number
|
| H A D | de.json | 1 …40118,"T":243403,"W":221377,"V":203138,"Q":15370,"P":333284,"S":807982,"R":282432,"Y":16379,"X":96… number
|
| H A D | sq.json | 1 …"Q":766,"P":4792,"S":7666,"R":2957,"Y":251,"X":569,"Z":898,"f":14736,"g":26110,"d":50009,"e":16717… number
|
| H A D | fi.json | 1 …W":9333,"V":24290,"P":38188,"S":77764,"R":24157,"Y":10043,"X":1821,"Z":1858,"f":29615,"g":68514,"d… number
|
| H A D | no.json | 1 …"W":15084,"V":29381,"Q":2727,"P":33476,"S":98250,"R":33889,"Y":5384,"X":3613,"Z":4254,"f":354544,"… number
|
| H A D | af.json | 1 …"Q":182,"P":3097,"S":8234,"R":3039,"Y":252,"X":214,"Z":422,"f":13583,"g":42805,"d":77385,"Feb":207… number
|
| H A D | sv.json | 1 …,"W":29206,"V":48264,"P":64540,"S":183432,"R":54519,"Y":8819,"X":3563,"Z":5647,"f":573497,"g":7964… number
|
| H A D | da.json | 1 …:7598,"V":12180,"P":17849,"S":49336,"R":17256,"Y":1840,"Z":1413,"f":221888,"g":349504,"d":493190,"… number
|
| H A D | hr.json | 1 …,"V":5850,"Q":585,"P":15109,"S":23054,"R":9319,"Y":1450,"X":701,"Z":4251,"f":16193,"g":88687,"d":1… number
|
| H A D | pl.json | 1 …1466,"W":122172,"V":29111,"P":225853,"S":204600,"R":87715,"Y":5329,"X":17841,"Z":57656,"f":154643,… number
|
| H A D | tr.json | 1 …:5022,"V":7330,"P":19836,"S":32251,"R":13212,"Y":12032,"Z":2430,"f":59766,"g":101779,"d":361700,"e… number
|
| H A D | hu.json | 1 …:4434,"V":10406,"P":22295,"S":35593,"R":12093,"Y":1303,"X":1480,"Z":4534,"f":108322,"g":317259,"d"… number
|
| /dports/mail/rspamd-devel/rspamd-93430bb/contrib/languages-data/ |
| H A D | sw.json | 1 …3120,"T":5185,"W":4730,"V":1116,"P":2090,"S":3343,"R":1632,"Y":517,"Z":395,"f":11048,"g":13829,"d"… number
|
| H A D | id.json | 1 …W":10090,"V":6089,"Q":1321,"P":55685,"S":65231,"R":21435,"Y":7072,"X":1468,"Z":2501,"f":36925,"g":… number
|
| H A D | af.json | 1 …"Q":182,"P":3097,"S":8234,"R":3039,"Y":252,"X":214,"Z":422,"f":13583,"g":42805,"d":77385,"Feb":207… number
|
| H A D | no.json | 1 …"W":15084,"V":29381,"Q":2727,"P":33476,"S":98250,"R":33889,"Y":5384,"X":3613,"Z":4254,"f":354544,"… number
|
| H A D | de.json | 1 …40118,"T":243403,"W":221377,"V":203138,"Q":15370,"P":333284,"S":807982,"R":282432,"Y":16379,"X":96… number
|
| H A D | fi.json | 1 …W":9333,"V":24290,"P":38188,"S":77764,"R":24157,"Y":10043,"X":1821,"Z":1858,"f":29615,"g":68514,"d… number
|
| H A D | sq.json | 1 …"Q":766,"P":4792,"S":7666,"R":2957,"Y":251,"X":569,"Z":898,"f":14736,"g":26110,"d":50009,"e":16717… number
|
| H A D | hr.json | 1 …,"V":5850,"Q":585,"P":15109,"S":23054,"R":9319,"Y":1450,"X":701,"Z":4251,"f":16193,"g":88687,"d":1… number
|
| H A D | da.json | 1 …:7598,"V":12180,"P":17849,"S":49336,"R":17256,"Y":1840,"Z":1413,"f":221888,"g":349504,"d":493190,"… number
|
| H A D | sv.json | 1 …,"W":29206,"V":48264,"P":64540,"S":183432,"R":54519,"Y":8819,"X":3563,"Z":5647,"f":573497,"g":7964… number
|