| /dports/math/z3/z3-z3-4.8.13/src/tactic/core/ |
| H A D | collect_statistics_tactic.cpp | 46 stats_type m_stats; member in collect_statistics_tactic
69 collect_proc cp(m, m_stats); in operator ()()
76 for (auto const& kv : m_stats) in operator ()()
96 stats_type & m_stats; member in collect_statistics_tactic::collect_proc
104 m_stats["bound-variables"]++; in operator ()()
109 m_stats["quantifiers"]++; in operator ()()
126 if (m_stats.find("max-quantification-depth") == m_stats.end() || in operator ()()
151 m_stats[ss.str()]++; in operator ()()
156 m_stats[ssname.str()]++; in operator ()()
183 m_stats[ss.str()]++; in operator ()()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/core/ |
| H A D | collect_statistics_tactic.cpp | 46 stats_type m_stats; member in collect_statistics_tactic
69 collect_proc cp(m, m_stats); in operator ()()
76 for (auto const& kv : m_stats) in operator ()()
96 stats_type & m_stats; member in collect_statistics_tactic::collect_proc
104 m_stats["bound-variables"]++; in operator ()()
109 m_stats["quantifiers"]++; in operator ()()
126 if (m_stats.find("max-quantification-depth") == m_stats.end() || in operator ()()
151 m_stats[ss.str()]++; in operator ()()
156 m_stats[ssname.str()]++; in operator ()()
183 m_stats[ss.str()]++; in operator ()()
[all …]
|
| /dports/finance/skrooge/skrooge-2.26.1/plugins/generic/skg_statistic/ |
| H A D | skgstatisticplugin.cpp | 52 …m_stats[QStringLiteral("avg.exec_time_sec")] = (m_stats.value(QStringLiteral("avg.exec_time_sec"))… in ~SKGStatisticPlugin()
102 if (!m_stats.contains(QStringLiteral("init.date"))) { in refresh()
108 … m_stats[QStringLiteral("nb_launch")] = m_stats.value(QStringLiteral("nb_launch")).toInt() + 1; in refresh()
135 m_stats[QStringLiteral("current.os")] = os; in refresh()
154 if (!m_stats.contains(id)) { in refresh()
155 m_stats[id] = 0; in refresh()
159 m_stats[QStringLiteral("document.uuid")] = docUUID; in refresh()
176 m_stats.clear(); in readStats()
208 m_stats[id] = m_stats[id].toInt() + 1; in triggerAction()
217 m_stats[id] = m_stats[id].toInt() + 1; in pageChanged()
[all …]
|
| /dports/net/ns3/ns-allinone-3.35/ns-3.35/src/traffic-control/model/ |
| H A D | queue-disc.cc | 423 NS_ASSERT (m_stats.nTotalDroppedPackets == m_stats.nTotalDroppedPacketsBeforeEnqueue in GetStats()
425 NS_ASSERT (m_stats.nTotalDroppedBytes == m_stats.nTotalDroppedBytesBeforeEnqueue in GetStats()
431 m_stats.nTotalSentPackets = m_stats.nTotalDequeuedPackets - (m_requeued ? 1 : 0) in GetStats()
436 return m_stats; in GetStats()
733 m_stats.nTotalDroppedPackets++; in DropBeforeEnqueue()
772 m_stats.nTotalDroppedPackets++; in DropAfterDequeue()
829 m_stats.nTotalMarkedPackets++; in Mark()
887 NS_ASSERT (m_stats.nTotalReceivedPackets == m_stats.nTotalDroppedPacketsBeforeEnqueue + in Enqueue()
889 NS_ASSERT (m_stats.nTotalReceivedBytes == m_stats.nTotalDroppedBytesBeforeEnqueue + in Enqueue()
923 NS_ASSERT (m_nPackets == m_stats.nTotalEnqueuedPackets - m_stats.nTotalDequeuedPackets); in Dequeue()
[all …]
|
| /dports/games/pioneer/pioneer-20210723/src/ |
| H A D | Ship.cpp | 360 return 100.0f * (m_stats.shield_mass_left / m_stats.shield_mass); in GetPercentShields()
636 m_stats.used_capacity = 0; in UpdateEquipStats()
638 m_stats.used_cargo = 0; in UpdateEquipStats()
640 m_stats.free_capacity = m_type->capacity - m_stats.used_capacity; in UpdateEquipStats()
641 m_stats.static_mass = m_stats.used_capacity + m_type->hullMass; in UpdateEquipStats()
662 m_stats.hyperspace_range = m_stats.hyperspace_range_max = 0; in UpdateEquipStats()
668 m_stats.radar_cap = 0; in UpdateEquipStats()
688 m_stats.hyperspace_range = m_stats.hyperspace_range_max = 0; in UpdateLuaStats()
692 std::tie(m_stats.hyperspace_range_max, m_stats.hyperspace_range) = in UpdateLuaStats()
1367 if (m_stats.shield_mass_left < m_stats.shield_mass) { in StaticUpdate()
[all …]
|
| /dports/sysutils/apcupsd/apcupsd-3.14.14/src/lib/ |
| H A D | statmgr.cpp | 28 memset(m_stats, 0, sizeof(m_stats)); in StatMgr()
56 memset(m_stats, 0, sizeof(m_stats)); in Update()
61 (len = net_recv(m_socket, m_stats[i].data, sizeof(m_stats[i].data)-1)) > 0) in Update()
66 m_stats[i].data[len] = '\0'; in Update()
78 key = trim(m_stats[i].data); in Update()
80 m_stats[i].key = key; in Update()
81 m_stats[i].value = value; in Update()
104 if (m_stats[idx].value) in Get()
105 ret = m_stats[idx].value; in Get()
122 keys.append(m_stats[idx].key); in GetAll()
[all …]
|
| /dports/sysutils/apcctrl/apcctrl-0.8.21/src/lib/ |
| H A D | statmgr.cpp | 28 memset(m_stats, 0, sizeof(m_stats)); in StatMgr()
56 memset(m_stats, 0, sizeof(m_stats)); in Update()
61 (len = net_recv(m_socket, m_stats[i].data, sizeof(m_stats[i].data)-1)) > 0) in Update()
66 m_stats[i].data[len] = '\0'; in Update()
78 key = trim(m_stats[i].data); in Update()
80 m_stats[i].key = key; in Update()
81 m_stats[i].value = value; in Update()
104 if (m_stats[idx].value) in Get()
105 ret = m_stats[idx].value; in Get()
122 keys.append(m_stats[idx].key); in GetAll()
[all …]
|
| /dports/games/ksudoku/ksudoku-21.12.3/src/generator/ |
| H A D | sudokuboard.cpp | 285 fracClues = float (m_stats.nClues) / float (m_stats.nCells); in calculateRating()
292 avDeduced = float(m_stats.nSingles + m_stats.nSpots) / m_stats.nDeduces; in calculateRating()
295 m_stats.type, m_stats.order, in calculateRating()
296 m_stats.nClues, m_stats.nCells, in calculateRating()
297 fracClues * 100.0, (m_stats.nCells - m_stats.nClues), in calculateRating()
298 m_stats.nSingles, m_stats.nSpots, m_stats.nGuesses, in calculateRating()
299 (m_stats.nSingles + m_stats.nSpots + m_stats.nGuesses), in calculateRating()
300 m_stats.nDeduces, m_stats.rating); in calculateRating()
474 m_stats.difficulty = calculateDifficulty (m_stats.rating); in insertValues()
540 m_stats.firstGuessAt, m_stats.nCells - m_stats.nClues); in removeValues()
[all …]
|
| /dports/net-p2p/qtum/qtum-mainnet-fastlane-v0.20.3/src/cpp-ethereum/test/tools/libtesteth/ |
| H A D | Stats.cpp | 35 m_stats.push_back({clock::now() - m_tp, _gasUsed, m_currentSuite + "/" + m_currentTest}); in testFinished()
45 if (m_stats.empty()) in ~Stats()
48 std::sort(m_stats.begin(), m_stats.end(), [](Stats::Item const& a, Stats::Item const& b){ in ~Stats()
53 auto itr = m_stats.begin(); in ~Stats()
55 auto max = *m_stats.rbegin(); in ~Stats()
56 std::advance(itr, m_stats.size() / 2); in ~Stats()
58 …auto tot = std::accumulate(m_stats.begin(), m_stats.end(), clock::duration{}, [](clock::duration c… in ~Stats()
67 for (auto&& s: m_stats) in ~Stats()
85 for (auto&& s: m_stats) in ~Stats()
100 << " avg: " << (tot / m_stats.size()) << "\n\n" in ~Stats()
|
| /dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/sql/dd/info_schema/ |
| H A D | tablespace_stats.cc | 38 *result = m_stats.m_id; in get_stat()
46 *result = m_stats.m_free_extents; in get_stat()
54 *result = m_stats.m_extent_size; in get_stat()
58 *result = m_stats.m_initial_size; in get_stat()
62 *result = m_stats.m_maximum_size; in get_stat()
70 *result = m_stats.m_version; in get_stat()
74 *result = m_stats.m_data_free; in get_stat()
96 *result = m_stats.m_type; in get_stat()
104 *result = m_stats.m_row_format; in get_stat()
108 *result = m_stats.m_status; in get_stat()
[all …]
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/tests/manual/qgraphicslayout/flicker/ |
| H A D | window.h | 92 m_stats = stats; in setStats()
105 if (m_stats->sleepMsecs > 0) { in event()
106 m_stats->sleep(); in event()
129 Statistics *m_stats; variable
196 m_stats.relayoutClicked = false; in on_depthSpinBox_valueChanged()
202 m_window->setStats(&m_stats); in on_depthSpinBox_valueChanged()
217 child->setStats(&m_stats); in on_depthSpinBox_valueChanged()
227 m_stats.relayoutClicked = true; in on_button_clicked()
235 m_stats.setGeometryCount = 0; in on_button_clicked()
238 m_stats.time.start(); in on_button_clicked()
[all …]
|
| /dports/graphics/appleseed/appleseed-2.1.0-beta/src/appleseed/foundation/array/ |
| H A D | meshalgorithm.cpp | 76 : m_stats(stats) in FaceSidesInfoVisitor()
102 FaceSidesInfo& m_stats; member in foundation::__anon203abd650111::FaceSidesInfoVisitor
109 m_stats.m_face_count++; in collect_stats()
111 if (n < 3) m_stats.m_invalid_count++; in collect_stats()
112 else if (n == 3) m_stats.m_triangle_count++; in collect_stats()
113 else if (n == 4) m_stats.m_quad_count++; in collect_stats()
114 else m_stats.m_ngon_count++; in collect_stats()
116 m_stats.m_max_face_sides = max( in collect_stats()
117 m_stats.m_max_face_sides, in collect_stats()
|
| /dports/games/pioneer/pioneer-20210723/src/scenegraph/ |
| H A D | DumpVisitor.cpp | 17 m_stats() in DumpVisitor()
30 m_lodStats.push_back(m_stats); in GetModelStatistics()
55 m_stats.nodeCount++; in ApplyNode()
67 m_stats.nodeCount++; in ApplyGroup()
77 m_lodStats.push_back(m_stats); in ApplyLOD()
78 memset(&m_stats, 0, sizeof(LodStatistics)); in ApplyLOD()
86 m_stats.transGeomCount++; in ApplyStaticGeometry()
88 m_stats.opaqueGeomCount++; in ApplyStaticGeometry()
91 m_stats.triangles += g.GetMeshAt(i).indexBuffer->GetSize() / 3; in ApplyStaticGeometry()
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/bv/ |
| H A D | bv_bound_chk_tactic.cpp | 38 bv_bound_chk_stats& m_stats; member
42 : m_m(m), m_b_rw(m), m_stats(stats) {} in bv_bound_chk_rewriter_cfg()
90 m_stats.m_unsats = 0; in reset_statistics()
91 m_stats.m_singletons = 0; in reset_statistics()
92 m_stats.m_reduces = 0; in reset_statistics()
96 st.update("unsat bv bounds", m_stats.m_unsats); in collect_statistics()
97 st.update("bv singletons", m_stats.m_singletons); in collect_statistics()
98 st.update("bv reduces", m_stats.m_reduces); in collect_statistics()
133 bv_bound_chk_stats m_stats; member in bv_bound_chk_tactic
185 m_imp = alloc(imp, m, p, m_stats); in bv_bound_chk_tactic()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/bv/ |
| H A D | bv_bound_chk_tactic.cpp | 38 bv_bound_chk_stats& m_stats; member
42 : m_m(m), m_b_rw(m), m_stats(stats) {} in bv_bound_chk_rewriter_cfg()
90 m_stats.m_unsats = 0; in reset_statistics()
91 m_stats.m_singletons = 0; in reset_statistics()
92 m_stats.m_reduces = 0; in reset_statistics()
96 st.update("unsat bv bounds", m_stats.m_unsats); in collect_statistics()
97 st.update("bv singletons", m_stats.m_singletons); in collect_statistics()
98 st.update("bv reduces", m_stats.m_reduces); in collect_statistics()
133 bv_bound_chk_stats m_stats; member in bv_bound_chk_tactic
185 m_imp = alloc(imp, m, p, m_stats); in bv_bound_chk_tactic()
[all …]
|
| /dports/devel/qtcreator/qt-creator-opensource-src-5.0.3/src/tools/perfparser/app/ |
| H A D | perfunwind.cpp | 112 m_stats.enabled = printStats; in PerfUnwind()
143 if (m_stats.enabled) { in ~PerfUnwind()
209 if (m_stats.enabled) in sendBuffer()
817 if (m_stats.enabled) in finishedRound()
818 m_stats.finishedRound(); in finishedRound()
841 if (m_stats.enabled) { in bufferEvent()
843 m_stats.maxBufferSize = std::max(m_eventBufferSize, m_stats.maxBufferSize); in bufferEvent()
858 if (!m_stats.enabled) { in forwardMmapBuffer()
881 if (m_stats.enabled) { in flushEventBuffer()
975 if (!m_stats.enabled) { in flushEventBuffer()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_cut_simplifier.cpp | 124 m_stats.m_num_ands++; in add_and()
135 m_stats.m_num_ands++; in add_or()
140 m_stats.m_num_xors++; in add_xor()
146 m_stats.m_num_ites++; in add_ite()
152 m_stats.m_num_xors++; in add_iff()
165 ++m_stats.m_num_calls; in operator ()()
167 n = m_stats.m_num_eqs + m_stats.m_num_units; in operator ()()
172 …while (((force && i < 5) || i*i < m_stats.m_num_calls) && n < m_stats.m_num_eqs + m_stats.m_num_un… in operator ()()
192 m_stats.m_xands++; in clauses2aig()
198 m_stats.m_xites++; in clauses2aig()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_cut_simplifier.cpp | 124 m_stats.m_num_ands++; in add_and()
135 m_stats.m_num_ands++; in add_or()
140 m_stats.m_num_xors++; in add_xor()
146 m_stats.m_num_ites++; in add_ite()
152 m_stats.m_num_xors++; in add_iff()
165 ++m_stats.m_num_calls; in operator ()()
167 n = m_stats.m_num_eqs + m_stats.m_num_units; in operator ()()
172 …while (((force && i < 5) || i*i < m_stats.m_num_calls) && n < m_stats.m_num_eqs + m_stats.m_num_un… in operator ()()
192 m_stats.m_xands++; in clauses2aig()
198 m_stats.m_xites++; in clauses2aig()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/sls/ |
| H A D | sls_engine.cpp | 88 st.update("sls INC moves", m_stats.m_incs); in collect_statistics()
89 st.update("sls DEC moves", m_stats.m_decs); in collect_statistics()
90 st.update("sls INV moves", m_stats.m_invs); in collect_statistics()
91 st.update("sls moves", m_stats.m_moves); in collect_statistics()
129 m_stats.m_full_evals++; in rescore()
135 m_stats.m_incr_evals++; in serious_score()
141 m_stats.m_incr_evals++; in incremental_score()
146 m_stats.m_incr_evals++; in incremental_score_prune()
427 m_stats.m_moves++; in search()
582 …_stream() << "(restarts: " << m_stats.m_restarts << " flips: " << m_stats.m_moves << " fps: " << (… in operator ()()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/sls/ |
| H A D | sls_engine.cpp | 88 st.update("sls INC moves", m_stats.m_incs);
89 st.update("sls DEC moves", m_stats.m_decs);
90 st.update("sls INV moves", m_stats.m_invs);
91 st.update("sls moves", m_stats.m_moves);
129 m_stats.m_full_evals++;
135 m_stats.m_incr_evals++;
141 m_stats.m_incr_evals++;
146 m_stats.m_incr_evals++;
427 m_stats.m_moves++;
582 …_stream() << "(restarts: " << m_stats.m_restarts << " flips: " << m_stats.m_moves << " fps: " << (…
[all …]
|
| /dports/net/ns3/ns-allinone-3.35/ns-3.35/src/mesh/model/flame/ |
| H A D | flame-protocol-mac.cc | 63 m_stats.rxBroadcast++; in Receive()
67 m_stats.rxUnicast++; in Receive()
69 m_stats.rxBytes += packet->GetSize (); in Receive()
89 m_stats.txBroadcast++; in UpdateOutcomingFrame()
93 m_stats.txUnicast++; in UpdateOutcomingFrame()
95 m_stats.txBytes += packet->GetSize (); in UpdateOutcomingFrame()
123 m_stats.Print (os); in Report()
130 m_stats = Statistics (); in ResetStats()
|
| /dports/multimedia/mkvtoolnix/mkvtoolnix-65.0.0/src/common/avc_hevc/ |
| H A D | es_parser.cpp | 36 , m_stats{num_slice_types, num_nalu_types}
247 ++m_stats.num_timestamps_in; in add_timestamp()
466 ++m_stats.num_timestamps_generated; in calculate_frame_timestamps()
512 ++m_stats.num_field_slices; in update_frame_stats()
514 ++m_stats.num_frame_slices; in update_frame_stats()
596 return m_stats.num_field_slices; in get_num_field_slices()
602 return m_stats.num_frame_slices; in get_num_frame_slices()
650 …m_stats.num_frames_out, m_stats.num_frames_discarded, m_stats.num_timestamps_in, m_stats.num_tim… in debug_dump_statistics()
651 …m_stats.num_field_slices, m_stats.num_frame_slices, m_stats.num_sei_nalus, m_stats.num_idr… in debug_dump_statistics()
655 if (0 != m_stats.num_nalus_by_type[i]) in debug_dump_statistics()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
| H A D | array_diagnostics.cpp | 69 st.update("array store", m_stats.m_num_store_axiom); in collect_statistics()
70 st.update("array sel/store", m_stats.m_num_select_store_axiom); in collect_statistics()
71 st.update("array sel/const", m_stats.m_num_select_const_axiom); in collect_statistics()
72 st.update("array sel/map", m_stats.m_num_select_map_axiom); in collect_statistics()
73 st.update("array sel/as array", m_stats.m_num_select_as_array_axiom); in collect_statistics()
74 st.update("array sel/lambda", m_stats.m_num_select_lambda_axiom); in collect_statistics()
75 st.update("array def/map", m_stats.m_num_default_map_axiom); in collect_statistics()
76 st.update("array def/const", m_stats.m_num_default_const_axiom); in collect_statistics()
77 st.update("array def/store", m_stats.m_num_default_store_axiom); in collect_statistics()
78 st.update("array ext ax", m_stats.m_num_extensionality_axiom); in collect_statistics()
[all …]
|
| /dports/net/ns3/ns-allinone-3.35/ns-3.35/src/mesh/model/dot11s/ |
| H A D | peer-management-protocol-mac.cc | 110 m_stats.rxMgt++; in Receive()
188 m_stats.rxOpen++; in Receive()
198 m_stats.rxClose++; in Receive()
234 m_stats.dropped++; in UpdateOutcomingFrame()
273 m_stats.txOpen++; in SendPeerLinkManagementFrame()
289 m_stats.txConfirm++; in SendPeerLinkManagementFrame()
304 m_stats.txClose++; in SendPeerLinkManagementFrame()
312 m_stats.txMgt++; in SendPeerLinkManagementFrame()
343 m_stats.beaconShift++; in SetBeaconShift()
375 m_stats.Print (os); in Report()
[all …]
|
| /dports/www/srt/srt-1.4.4/srtcore/ |
| H A D | core.cpp | 851 m_stats.sentTotal = m_stats.sentUniqTotal = m_stats.recvTotal = m_stats.recvUniqTotal in clearData()
852 = m_stats.sndLossTotal = m_stats.rcvLossTotal = m_stats.retransTotal in clearData()
853 … = m_stats.sentACKTotal = m_stats.recvACKTotal = m_stats.sentNAKTotal = m_stats.recvNAKTotal = 0; in clearData()
855 m_stats.traceSent = m_stats.traceSentUniq = m_stats.traceRecv = m_stats.traceRecvUniq in clearData()
856 = m_stats.traceSndLoss = m_stats.traceRcvLoss = m_stats.traceRetrans in clearData()
857 = m_stats.sentACK = m_stats.recvACK = m_stats.sentNAK = m_stats.recvNAK = 0; in clearData()
894 m_stats.sndDuration = m_stats.m_sndDurationTotal = 0; in clearData()
7254 m_stats.traceBytesSent = m_stats.traceBytesRecv = m_stats.traceBytesRetrans = 0; in bstats()
7256 m_stats.traceSent = m_stats.traceRecv in bstats()
7258 = m_stats.traceSndLoss = m_stats.traceRcvLoss = m_stats.traceRetrans in bstats()
[all …]
|