Home
last modified time | relevance | path

Searched +defs:cr +defs:ant (Results 1 – 25 of 57) sorted by relevance

123

/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A Dregexp_solver.cpp370 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 DShapeWidget.cpp548 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 DShapeWidget.cpp548 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 DShapeWidget.cpp557 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 DShapeWidget.cpp564 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 Dconstraint.cpp636 const ConstraintRule& cr = getConstraintRule(); in wellFormedFarkasProof() local
1763 bool ConstraintDatabase::handleUnateProp(ConstraintP ant, ConstraintP cons){ in handleUnateProp()
H A Dnonlinear_extension.cpp2644 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 Dit.json1 …3,"N":84931,"O":53123,"H":49392,"I":191375,"J":30427,"K":33649,"U":59673,"T":99599,"W":33788,"V":7…
H A Dnl.json1 …2943,"N":137196,"O":83395,"H":199830,"I":105198,"J":61744,"K":84088,"U":22509,"T":111990,"W":76478…
H A Dpt.json1 …95,"N":83569,"O":115743,"H":53006,"I":86169,"J":66643,"K":27233,"U":54108,"T":95611,"W":30243,"V":…
H A Den.json1 …1059392,"N":665299,"O":394009,"H":682378,"I":978047,"J":471262,"K":369000,"U":380950,"T":1402307,"…
H A Des.json1 …2523,"N":101570,"O":64162,"H":81475,"I":139475,"J":79180,"K":34991,"U":62793,"T":132122,"W":35590,…
H A Dfr.json1 …4991,"N":98243,"O":65813,"H":89479,"I":164982,"J":77783,"K":45111,"U":61602,"T":117987,"W":42348,"…
H A Dhr.json1 …,"O":10729,"H":9113,"I":13451,"J":5359,"K":11989,"U":4743,"T":10711,"W":3179,"V":5850,"Q":585,"P":…
H A Dtr.json1 …10463,"O":12233,"H":17902,"I":6437,"J":5964,"K":30894,"U":5006,"T":27864,"W":5022,"V":7330,"P":198…
H A Dhu.json1 …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 Dit.json1 …3,"N":84931,"O":53123,"H":49392,"I":191375,"J":30427,"K":33649,"U":59673,"T":99599,"W":33788,"V":7…
H A Des.json1 …2523,"N":101570,"O":64162,"H":81475,"I":139475,"J":79180,"K":34991,"U":62793,"T":132122,"W":35590,…
H A Dnl.json1 …2943,"N":137196,"O":83395,"H":199830,"I":105198,"J":61744,"K":84088,"U":22509,"T":111990,"W":76478…
H A Dpt.json1 …95,"N":83569,"O":115743,"H":53006,"I":86169,"J":66643,"K":27233,"U":54108,"T":95611,"W":30243,"V":…
H A Den.json1 …1059392,"N":665299,"O":394009,"H":682378,"I":978047,"J":471262,"K":369000,"U":380950,"T":1402307,"…
H A Dfr.json1 …4991,"N":98243,"O":65813,"H":89479,"I":164982,"J":77783,"K":45111,"U":61602,"T":117987,"W":42348,"…
H A Dhr.json1 …,"O":10729,"H":9113,"I":13451,"J":5359,"K":11989,"U":4743,"T":10711,"W":3179,"V":5850,"Q":585,"P":…
H A Dhu.json1 …17752,"O":8481,"H":13530,"I":14875,"J":7703,"K":21077,"U":4237,"T":19473,"W":4434,"V":10406,"P":22…
H A Dtr.json1 …10463,"O":12233,"H":17902,"I":6437,"J":5964,"K":30894,"U":5006,"T":27864,"W":5022,"V":7330,"P":198…

123