| /dports/lang/racket/racket-8.3/share/pkgs/math-lib/math/private/number-theory/ |
| H A D | partitions.rkt | 4 (only-in racket/vector vector-copy))
25 (define cache (make-vector cache-size 0))
26 (vector-set! cache 0 1) ; p(0) = 1
34 [(< n cache-size) (shrink-cache n)]
38 (: shrink-cache : Natural -> Void)
39 ; if cache-size is larger than n, shrink the cache
40 (define (shrink-cache n)
50 [else (define new-cache (make-vector n 0))
51 (vector-copy! new-cache 0 cache)
76 (define cached (vector-ref cache n))
[all …]
|
| /dports/devel/rapidcheck/rapidcheck-7bc7d30/test/shrinkable/ |
| H A D | OperationsTests.cpp | 58 *gen::container<std::vector<int>>(gen::inRange<int>(1, 101)); in __anon0fd8dcd30802()
60 const auto pred = [&](const std::vector<int> &x) { in __anon0fd8dcd30802()
70 shrinkable::shrinkRecur(std::vector<int>(), in __anon0fd8dcd30802()
71 [](const std::vector<int> &vec) { in __anon0fd8dcd30802()
74 auto shrink = vec; in __anon0fd8dcd30802() local
75 shrink.push_back(x); in __anon0fd8dcd30802()
76 return shrink; in __anon0fd8dcd30802()
100 const auto path = *gen::container<std::vector<std::size_t>>( in __anon0fd8dcd30d02()
103 shrinkable::shrinkRecur(std::vector<std::size_t>(), in __anon0fd8dcd30d02()
124 auto path = *gen::container<std::vector<std::size_t>>( in __anon0fd8dcd31002()
[all …]
|
| /dports/devel/rapidcheck/rapidcheck-7bc7d30/include/rapidcheck/shrinkable/ |
| H A D | Operations.hpp | 15 [=](const Shrinkable<T> &shrink) { in all() argument
16 return shrinkable::all(shrink, predicate); in all()
25 Maybe<Shrinkable<T>> shrink; in findLocalMin() local
26 while ((shrink = shrinks.next())) { in findLocalMin()
27 T value = shrink->value(); in findLocalMin()
30 shrinks = shrink->shrinks(); in findLocalMin()
41 [](const Shrinkable<T> &shrink) { return shrink.value(); }); in immediateShrinks() argument
46 const std::vector<std::size_t> &path) { in walkPath()
|
| /dports/devel/rapidcheck/rapidcheck-7bc7d30/test/detail/ |
| H A D | PropertyTests.cpp | 70 void reportAll(const std::vector<CaseResult> &results) { in reportAll()
76 void logAll(const std::vector<std::string> &log) { in logAll()
110 auto results = *gen::container<std::vector<CaseResult>>( in __anon61752d240702()
124 *gen::container<std::vector<CaseResult>>( in __anon61752d240902()
134 [](const std::vector<std::string> &messages) { in __anon61752d240b02()
230 [](const std::vector<std::string> &tags) { in __anon61752d242102()
275 const ShrinkableResult &shrink) { in __anon61752d242502() argument
294 const ShrinkableResult &shrink) { in __anon61752d242802() argument
309 const ShrinkableResult &shrink) { in __anon61752d242b02() argument
324 const ShrinkableResult &shrink) { in __anon61752d242e02() argument
[all …]
|
| /dports/science/libgeodecomp/libgeodecomp-0.4.0/src/parallelization/hiparsimulator/test/parallel_mpi_4/ |
| H A D | vanillasteppertest.h | 43 std::vector<std::size_t> weights; in testFoo()
56 std::vector<CoordBox<3> > boundingBoxes; in testFoo()
127 std::vector<PatchProviderPtrType> providers; in testFoo()
128 std::vector<PatchAccepterPtrType> accepters; in testFoo()
167 for (std::vector<PatchProviderPtrType>::iterator i = providers.begin(); in testFoo()
173 for (std::vector<PatchAccepterPtrType>::iterator i = accepters.begin(); in testFoo()
206 const unsigned& shrink, in checkInnerSet() argument
212 partitionManager->innerSet(shrink), in checkInnerSet()
217 const unsigned& shrink, in checkRim() argument
223 partitionManager->rim(shrink), in checkRim()
|
| /dports/devel/rapidcheck/rapidcheck-7bc7d30/test/state/gen/ |
| H A D | CommandsTests.cpp | 30 std::vector<GenParams> collectParams(const IntVecCmds &cmds) { in collectParams()
31 std::vector<GenParams> params; in collectParams()
92 const Shrinkable<IntVecCmds> &shrink) { in __anon850b8b480502() argument
103 const Shrinkable<IntVecCmds> &shrink) { in __anon850b8b480702() argument
121 const Shrinkable<IntVecCmds> &shrink) { in __anon850b8b480a02() argument
124 std::vector<Random> intersection; in __anon850b8b480a02()
139 const Shrinkable<IntVecCmds> &shrink) { in __anon850b8b480c02() argument
161 const Shrinkable<IntVecCmds> &shrink) { in __anon850b8b480f02() argument
219 [&](const Shrinkable<CommandsType> &shrink) { in __anon850b8b481402() argument
220 for (const auto &cmd : shrink.value()) { in __anon850b8b481402()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/normal_forms/ |
| H A D | elim_term_ite.h | 28 vector<justified_expr> m_new_defs;
35 vector<justified_expr> const& new_defs() const { return m_new_defs; } in new_defs()
38 …void pop(unsigned n) {if (n > 0) { m_new_defs.shrink(m_lim[m_lim.size() - n]); m_lim.shrink(m_lim.… in pop()
48 vector<justified_expr> const& new_defs() const { return m_cfg.new_defs(); } in new_defs()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/normal_forms/ |
| H A D | elim_term_ite.h | 28 vector<justified_expr> m_new_defs;
35 vector<justified_expr> const& new_defs() const { return m_new_defs; } in new_defs()
38 …void pop(unsigned n) {if (n > 0) { m_new_defs.shrink(m_lim[m_lim.size() - n]); m_lim.shrink(m_lim.… in pop()
48 vector<justified_expr> const& new_defs() const { return m_cfg.new_defs(); } in new_defs()
|
| /dports/x11-toolkits/qt5-declarative-test/kde-qtdeclarative-5.15.2p41/src/3rdparty/masm/stubs/wtf/ |
| H A D | Vector.h | 54 class Vector : public std::vector<T> {
57 Vector(int initialSize) : std::vector<T>(initialSize) {} in Vector()
58 Vector(std::initializer_list<T> list) : std::vector<T>(list) {} in Vector()
70 inline void append(const Vector<T>& vector) in append() argument
72 this->insert(this->end(), vector.begin(), vector.end()); in append()
81 inline void append(typename std::vector<T>::const_iterator it, size_t count) in append()
89 using std::vector<T>::insert;
99 inline void shrink(size_t size) in shrink() function
103 { this->shrink(this->size()); } in shrinkToFit()
123 void deleteAllValues(const Vector<T, capacity> &vector) in deleteAllValues() argument
[all …]
|
| /dports/x11-toolkits/qt5-declarative/kde-qtdeclarative-5.15.2p41/src/3rdparty/masm/stubs/wtf/ |
| H A D | Vector.h | 54 class Vector : public std::vector<T> {
57 Vector(int initialSize) : std::vector<T>(initialSize) {} in Vector()
58 Vector(std::initializer_list<T> list) : std::vector<T>(list) {} in Vector()
70 inline void append(const Vector<T>& vector) in append() argument
72 this->insert(this->end(), vector.begin(), vector.end()); in append()
81 inline void append(typename std::vector<T>::const_iterator it, size_t count) in append()
89 using std::vector<T>::insert;
99 inline void shrink(size_t size) in shrink() function
103 { this->shrink(this->size()); } in shrinkToFit()
123 void deleteAllValues(const Vector<T, capacity> &vector) in deleteAllValues() argument
[all …]
|
| /dports/devel/R-cran-gbm/gbm/man/ |
| H A D | shrink.gbm.Rd | 1 \name{shrink.gbm}
2 \alias{shrink.gbm}
8 shrink.gbm(object,
16 …\item{lambda}{ a vector with length equal to the number of variables containing the shrinkage para…
25 …\item{gradient}{A vector with length equal to the number of variables containing the derivative of…
33 \seealso{ \code{\link{shrink.gbm.pred}}, \code{\link{gbm}} }
|
| /dports/editors/libreoffice/libreoffice-7.2.6.2/vcl/backendtest/outputdevice/ |
| H A D | outputdevice.cxx | 35 aDrawRectangle.shrink(2); in setupXOR()
38 aScissorRectangle.shrink(4); in setupXOR()
60 aDrawRectangle.shrink(1); in setupXOR()
70 std::vector<Color> aExpected in checkDrawOutDev()
83 std::vector<Color> aExpected in checkXOR()
|
| /dports/www/R-cran-webshot/webshot/man/ |
| H A D | shrink.Rd | 3 \name{shrink}
4 \alias{shrink}
7 shrink(filename)
10 \item{filename}{Character vector containing the path of images to resize.
25 webshot("https://www.r-project.org/", "r-shrink.png") \%>\%
26 shrink()
|
| /dports/graphics/libjxl/libjxl-0.6.1/lib/jxl/modular/ |
| H A D | modular_image.h | 58 void shrink() { in shrink() function
63 void shrink(int nw, int nh) { in shrink() function
66 shrink(); in shrink()
81 std::vector<Channel> channel;
83 std::vector<Transform> transform;
|
| /dports/www/firefox/firefox-99.0/third_party/jpeg-xl/lib/jxl/modular/ |
| H A D | modular_image.h | 58 void shrink() { in shrink() function
63 void shrink(int nw, int nh) { in shrink() function
66 shrink(); in shrink()
81 std::vector<Channel> channel;
83 std::vector<Transform> transform;
|
| /dports/science/InsightToolkit/ITK-5.0.1/Modules/Filtering/ImageGrid/test/ |
| H A D | itkCyclicReferences.cxx | 64 std::vector<itk::DataObject::Pointer> v; in itkCyclicReferences()
88 itk::ShrinkImageFilter<FloatImage2DType,FloatImage2DType>::Pointer shrink; in itkCyclicReferences() local
89 shrink = itk::ShrinkImageFilter<FloatImage2DType,FloatImage2DType>::New(); in itkCyclicReferences()
90 shrink->SetInput(random->GetOutput()); in itkCyclicReferences()
91 shrink->SetShrinkFactors(2); in itkCyclicReferences()
96 shrink->AddObserver(itk::DeleteEvent(), deleteShrinkCommand); in itkCyclicReferences()
|
| /dports/games/redeclipse/base-2.0.0/src/game/ |
| H A D | duelmut.h | 6 vector<clientinfo *> duelqueue, allowed, playing, restricted;
14 void shrink() in shrink() function
16 allowed.shrink(0); in shrink()
17 playing.shrink(0); in shrink()
30 shrink(); in reset()
31 duelqueue.shrink(0); in reset()
145 vector<int> shots; in layout()
236 shrink(); in clear()
240 void endffaround(vector<clientinfo *> alive) in endffaround()
290 vector<clientinfo *> duelrand; in update()
[all …]
|
| /dports/devel/R-cran-gbm/gbm/inst/doc/ |
| H A D | shrinkageplot.R | 26 shrink <- c(0.1,0.05,0.01,0.005,0.001) vector
27 err <- vector("list",length(shrink))
29 for(i in 1:length(shrink))
35 shrinkage=shrink[i],
50 for(i in 1:length(shrink))
61 text(x,y-0.0005,as.character(shrink[i]),adj=1)
|
| /dports/math/z3/z3-z3-4.8.13/src/math/grobner/ |
| H A D | pdd_simplifier.cpp | 166 linear.shrink(j); in simplify_linear_step()
211 s.m_to_simplify.shrink(j); in simplify_cc_step()
277 s.m_to_simplify.shrink(j); in simplify_elim_pure_step()
329 s.m_to_simplify.shrink(j); in simplify_elim_dual_step()
340 s.m_to_simplify.shrink(j); in simplify_elim_dual_step()
410 void simplifier::init_orbits(vector<pdd> const& eqs, vector<uint_set>& orbits) { in init_orbits()
431 void simplifier::exlin_augment(vector<uint_set> const& orbits, vector<pdd>& eqs) { in exlin_augment()
440 vector<pdd> n_eqs; in exlin_augment()
490 …void simplifier::simplify_exlin(vector<uint_set> const& orbits, vector<pdd> const& eqs, vector<pdd… in simplify_exlin()
534 vars.shrink(vars.size() - n); in simplify_exlin()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/grobner/ |
| H A D | pdd_simplifier.cpp | 166 linear.shrink(j); in simplify_linear_step()
211 s.m_to_simplify.shrink(j); in simplify_cc_step()
277 s.m_to_simplify.shrink(j); in simplify_elim_pure_step()
329 s.m_to_simplify.shrink(j); in simplify_elim_dual_step()
340 s.m_to_simplify.shrink(j); in simplify_elim_dual_step()
410 void simplifier::init_orbits(vector<pdd> const& eqs, vector<uint_set>& orbits) { in init_orbits()
431 void simplifier::exlin_augment(vector<uint_set> const& orbits, vector<pdd>& eqs) { in exlin_augment()
440 vector<pdd> n_eqs; in exlin_augment()
490 …void simplifier::simplify_exlin(vector<uint_set> const& orbits, vector<pdd> const& eqs, vector<pdd… in simplify_exlin()
534 vars.shrink(vars.size() - n); in simplify_exlin()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/solver/ |
| H A D | solver_na2as.cpp | 60 m_assumptions.shrink(m_old_sz); in ~append_assumptions()
70 lbool solver_na2as::check_sat_cc(const expr_ref_vector &assumptions, vector<expr_ref_vector> const … in check_sat_cc()
81 lbool solver_na2as::find_mutexes(expr_ref_vector const& vars, vector<expr_ref_vector>& mutexes) { in find_mutexes()
99 m_scopes.shrink(new_lvl); in pop()
104 m_assumptions.shrink(old_sz); in restore_assumptions()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/solver/ |
| H A D | solver_na2as.cpp | 60 m_assumptions.shrink(m_old_sz); in ~append_assumptions()
70 lbool solver_na2as::check_sat_cc(const expr_ref_vector &assumptions, vector<expr_ref_vector> const … in check_sat_cc()
81 lbool solver_na2as::find_mutexes(expr_ref_vector const& vars, vector<expr_ref_vector>& mutexes) { in find_mutexes()
99 m_scopes.shrink(new_lvl); in pop()
104 m_assumptions.shrink(old_sz); in restore_assumptions()
|
| /dports/math/z3/z3-z3-4.8.13/src/util/ |
| H A D | vector.h | 68 class vector : public std::vector<T> {
129 void shrink(SZ s) {
272 vector(vector const & source) { in vector() function
279 vector(vector&& other) noexcept { in vector() function
316 vector & operator=(vector const & source) {
330 vector & operator=(vector && source) {
363 shrink(j); in filter_update()
568 void shrink(SZ s) { in shrink() function
588 if (s <= sz) { shrink(s); return; } in resize()
603 if (s <= sz) { shrink(s); return; } in resize()
[all …]
|
| /dports/science/libgeodecomp/libgeodecomp-0.4.0/src/parallelization/hiparsimulator/test/parallel_mpi_1/ |
| H A D | vanillastepperregiontest.h | 36 const std::vector<Event>& getEvents() const in getEvents()
42 std::vector<Event> events;
60 std::vector<std::size_t> weights(3); in setUp()
74 std::vector<CoordBox<2> > boundingBoxes; in setUp()
99 const unsigned& shrink, in checkInnerSet() argument
105 partitionManager->innerSet(shrink), in checkInnerSet()
|
| /dports/games/redeclipse/base-2.0.0/src/engine/ |
| H A D | http.h | 65 vector<httppair> values;
72 values.shrink(0); in reset()
111 vector<char> output;
127 output.shrink(0); in reset()
206 vector<jsobj *> children;
220 children.shrink(0); in reset()
|