/dports/math/cvc4/CVC4-1.7/src/theory/strings/ |
H A D | regexp_solver.cpp | 370 std::vector<Node>& ant) in deriveRegExp() 527 for (const Node& cr : r) in getNormalSymRegExp() local
|
/dports/audio/bshapr-lv2/BShapr-0.13/src/ |
H A D | ShapeWidget.cpp | 548 size_t ant = selection.getUnselectedAntecessor (i); in onPointerDragged() local 745 cairo_t* cr = cairo_create (widgetSurface_); in draw() local
|
/dports/audio/bharvestr-lv2/BHarvestr-7e6a1e7c81d0af61d4fabcd823978d62c8970502/src/ |
H A D | ShapeWidget.cpp | 548 size_t ant = selection.getUnselectedAntecessor (i); in onPointerDragged() local 745 cairo_t* cr = cairo_create (widgetSurface_); in draw() local
|
/dports/audio/bschaffl-lv2/BSchaffl-1.4.8/src/ |
H A D | ShapeWidget.cpp | 557 size_t ant = selection.getUnselectedAntecessor (i); in onPointerDragged() local 756 cairo_t* cr = cairo_create (widgetSurface_); in draw() local
|
/dports/audio/boops-lv2/BOops-1.8.2/src/ |
H A D | ShapeWidget.cpp | 564 size_t ant = selection.getUnselectedAntecessor (i); in onPointerDragged() local 763 cairo_t* cr = cairo_create (widgetSurface_); in draw() local
|
/dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
H A D | constraint.cpp | 636 const ConstraintRule& cr = getConstraintRule(); in wellFormedFarkasProof() local 1763 bool ConstraintDatabase::handleUnateProp(ConstraintP ant, ConstraintP cons){ in handleUnateProp()
|
H A D | nonlinear_extension.cpp | 2644 Rational cr = c.getConst<Rational>(); in getApproximateConstant() local 2763 Node cr, in printRationalApprox() 4377 Node ant = nm->mkNode(i == 0 ? GEQ : LEQ, tf[0], use_bound); in checkTfTangentPlanesFun() local
|
/dports/mail/rspamd/rspamd-3.1/contrib/languages-data/ |
H A D | it.json | 1 …3,"N":84931,"O":53123,"H":49392,"I":191375,"J":30427,"K":33649,"U":59673,"T":99599,"W":33788,"V":7…
|
H A D | nl.json | 1 …2943,"N":137196,"O":83395,"H":199830,"I":105198,"J":61744,"K":84088,"U":22509,"T":111990,"W":76478…
|
H A D | pt.json | 1 …95,"N":83569,"O":115743,"H":53006,"I":86169,"J":66643,"K":27233,"U":54108,"T":95611,"W":30243,"V":…
|
H A D | en.json | 1 …1059392,"N":665299,"O":394009,"H":682378,"I":978047,"J":471262,"K":369000,"U":380950,"T":1402307,"…
|
H A D | es.json | 1 …2523,"N":101570,"O":64162,"H":81475,"I":139475,"J":79180,"K":34991,"U":62793,"T":132122,"W":35590,…
|
H A D | fr.json | 1 …4991,"N":98243,"O":65813,"H":89479,"I":164982,"J":77783,"K":45111,"U":61602,"T":117987,"W":42348,"…
|
H A D | hr.json | 1 …,"O":10729,"H":9113,"I":13451,"J":5359,"K":11989,"U":4743,"T":10711,"W":3179,"V":5850,"Q":585,"P":…
|
H A D | tr.json | 1 …10463,"O":12233,"H":17902,"I":6437,"J":5964,"K":30894,"U":5006,"T":27864,"W":5022,"V":7330,"P":198…
|
H A D | hu.json | 1 …17752,"O":8481,"H":13530,"I":14875,"J":7703,"K":21077,"U":4237,"T":19473,"W":4434,"V":10406,"P":22…
|
/dports/mail/rspamd-devel/rspamd-93430bb/contrib/languages-data/ |
H A D | it.json | 1 …3,"N":84931,"O":53123,"H":49392,"I":191375,"J":30427,"K":33649,"U":59673,"T":99599,"W":33788,"V":7…
|
H A D | es.json | 1 …2523,"N":101570,"O":64162,"H":81475,"I":139475,"J":79180,"K":34991,"U":62793,"T":132122,"W":35590,…
|
H A D | nl.json | 1 …2943,"N":137196,"O":83395,"H":199830,"I":105198,"J":61744,"K":84088,"U":22509,"T":111990,"W":76478…
|
H A D | pt.json | 1 …95,"N":83569,"O":115743,"H":53006,"I":86169,"J":66643,"K":27233,"U":54108,"T":95611,"W":30243,"V":…
|
H A D | en.json | 1 …1059392,"N":665299,"O":394009,"H":682378,"I":978047,"J":471262,"K":369000,"U":380950,"T":1402307,"…
|
H A D | fr.json | 1 …4991,"N":98243,"O":65813,"H":89479,"I":164982,"J":77783,"K":45111,"U":61602,"T":117987,"W":42348,"…
|
H A D | hr.json | 1 …,"O":10729,"H":9113,"I":13451,"J":5359,"K":11989,"U":4743,"T":10711,"W":3179,"V":5850,"Q":585,"P":…
|
H A D | hu.json | 1 …17752,"O":8481,"H":13530,"I":14875,"J":7703,"K":21077,"U":4237,"T":19473,"W":4434,"V":10406,"P":22…
|
H A D | tr.json | 1 …10463,"O":12233,"H":17902,"I":6437,"J":5964,"K":30894,"U":5006,"T":27864,"W":5022,"V":7330,"P":198…
|