cwi,SrSSKJr SSKJrJrJrJrJrJ r J r J r J r J r Jr SSKJrJrJrJr /SQr\ SS\4rS rS rS rSS jrS \4SjrSr"SS\ \5r"SS\\\45rg)a Functions and classes related to statistics. Examples -------- The following example shows how to add custom statistics and dump the statistics in json format: >>> from json import dumps >>> from clingo.control import Control >>> >>> def on_statistics(step, accu): ... accu["example"] = 42 ... >>> ctl = Control(['--stats']) >>> ctl.add("base", [], "{a}.") >>> ctl.ground([("base", [])]) >>> print(ctl.solve(on_statistics=on_statistics)) SAT >>> print(dumps(ctl.statistics['user_accu'], sort_keys=True, ... indent=4, separators=(',', ': '))) { "example": 42.0 } >>> print(dumps(ctl.statistics['summary']['times'], sort_keys=True, ... indent=4, separators=(',', ': '))) { "cpu": 0.000785999999999995, "sat": 7.867813110351562e-06, "solve": 2.288818359375e-05, "total": 0.0007848739624023438, "unsat": 0.0 } )abc) Any ItemsViewIterableKeysViewMutableMappingMutableSequenceSequenceTupleUnion ValuesViewcast)_c_call _handle_error_lib_to_str)StatisticsArray StatisticsMapStatisticsValuerrc8[S[RX5$)Nclingo_statistics_type_t)rrclingo_statistics_typestatskeys K/home/james-whalen/.local/lib/python3.13/site-packages/clingo/statistics.py_statistics_typer:s -t/J/JE WWc [X5nU[R:Xa[S[RX5$U[R :Xad/n[ [S[RX55H8nUR[U[S[RXU555 M: U$U[R:Xde0n[ [S[RX55HRn[S[RXU5n[S[RXU5n[X5U[U5'MT U$)z1 Transform clingo's statistics into python type. doublesize_tuint64_tchar*)rrclingo_statistics_type_valuerclingo_statistics_value_getclingo_statistics_type_arrayrangeclingo_statistics_array_sizeappend _statisticsclingo_statistics_array_atclingo_statistics_type_mapclingo_statistics_map_size!clingo_statistics_map_subkey_nameclingo_statistics_map_atr)rrtype_retinamesubkeys rr+r+>s U (E 111x!A!A5NN 111 Hd?? L A JJJ(G(GUVW   D33 33 3 C 78T%D%DeQ Rw F FTUVT%B%BEPTU(7GDMS Jrc[U[5(a [S5e[U[R5(a[ R $[U[R5(a[ R$[ R$)Nzunexpected string) isinstancestr TypeErrorrr rr'Mappingr-r%)values r_mutable_statistics_value_typer<]sa%+,,%&&000%%%...  , ,,rreturncj[S[RU5n[[[ X55$Nr#)rrclingo_statistics_rootrr_mutable_statistics_getrs r_mutable_statisticsrBgs) *d995 AC  6uB CCrc[X5nU[R:Xa [X5$U[R:Xa [ X5$U[R :Xde[S[RX5$Nr!) rrr'rr-rr%rr&)rrr1s rrArAlsg U (E 111u** ///U(( D55 55 5 8T==u JJrcU[R:Xa[X5RU5 gU[R:Xa[ X5RU5 gU[R :Xde[U5(a2U(a"U"[S[RX55nO U"S5nOUn[[R"XU55 grD) rr-rupdater'rr%callablerr&rclingo_statistics_value_set)rrr1r;rFuvals r_mutable_statistics_setrJys ///e!((/ $33 3#**5199999 E??Hd&F&FST{Dd66u4HIrc\rSrSrSrSrSrSrSrSr Sr S r S r S \ S S 4SjrS\\ S S 4SjrS\\ S S 4SjrSrg )rzv Class to modify statistics stored in an array. Notes ----- Only inplace concatenation and no deletion is supported. cXlX lgN_rep_keyselfreprs r__init__StatisticsArray.__init__   rcb[S[RURUR5$Nr")rrr)rPrQrSs r__len__StatisticsArray.__len__s& d77DII  rcUS:dU[U5:a [S5e[S[RUR UR U5n[UR U5$)Nrz invalid indexr#)len IndexErrorrrr,rPrQrA)rSindexrs r __getitem__StatisticsArray.__getitem__sU 19T*_- - 77DIIu 'tyy#66rc[S[RURURU5n[ URU5n[ URX4US5 g)Nr#T)rrr,rPrQrrJ)rSr`r;rr1s r __setitem__StatisticsArray.__setitem__sI 77DIIu !C0 3udCrc[S5e)z This method is not supported. zinsertion is not supportedNotImplementedError)rSr`r;s rinsertStatisticsArray.inserts"">??rc[S5eNzdeletion is not supportedrgrSr`s r __delitem__StatisticsArray.__delitem__!"=>>rc[S5e)Nz'only inplace concatenation is supportedrg)rSothers r__add__StatisticsArray.__add__s!"KLLrc:UHnURU5 M U$rN)r*)rSrrxs r__iadd__StatisticsArray.__iadd__sA KKN rr;r=Nc[U5n[S[RURUR U5n[ URX2US5 g)zr Append a value. Parameters ---------- value A nested structure composed of floats, sequences, and mappings. r#FN)r<rrclingo_statistics_array_pushrPrQrJ)rSr;r1rs rr*StatisticsArray.appendsF/u5 99499diiQV   3ueDrvaluesc X- ng)z Extend the statistics array with the given values. Paremeters ---------- values A sequence of nested structures composed of floats, sequences, and mappings. N)rSr|s rextendStatisticsArray.extends  rcz[U5n[U5H!up4X2:aX@U'MURU5 M# g)aF Update a statistics array. Parameters ---------- values A sequence of nested structures composed of floats, callable, sequences, and mappings. A callable can be used to update an existing value, it receives the previous numeric value (or None if absent) as argument and must return an updated numeric value. N)r^ enumerater*)rSr|nidxvals rrFStatisticsArray.updates6 I!&)HCwS  C *rrQrP)__name__ __module__ __qualname____firstlineno____doc__rUr[rardrirnrsrwrr*rrr rF__static_attributes__r~rrrrsv 7D@ ?M EC ED E Xc] t !Xc]!t!rc\rSrSrSrSrSrS\4SjrS\S\ 4Sjr S r S r S r S \\\44S jrS \\4SjrSrS \\4SjrSrg)rz[ Object to capture statistics stored in a map. This class does not support item deletion. cXlX lgrNrOrRs rrUStatisticsMap.__init__rWrcb[S[RURUR5$rY)rrr.rPrQrZs rr[StatisticsMap.__len__s!x!@!@$))TYYWWrr4cX;a [S5e[S[RURUR UR 55n[URU5$)Nz key not foundr#)KeyErrorrrr0rPrQencoderA)rSr4rs rraStatisticsMap.__getitem__sR|?+ +   ) ) II II KKM  'tyy#66rr;cX;nU(aV[S[RURURUR 55n[ URU5nOK[U5n[S[RURURUR 5U5n[URXEX#5 gr?) rrr0rPrQrrr< clingo_statistics_map_add_subkeyrJ)rSr4r;has_keyrr1s rrdStatisticsMap.__setitem__s, --   C%TYY4E259E55    C  3uFrc[S5erlrgrms rrnStatisticsMap.__delitem__rprc[U[5(dg[S[RUR UR UR55$)NFbool)r7r8rr clingo_statistics_map_has_subkeyrPrQr)rSr4s r __contains__StatisticsMap.__contains__!sB$$$   1 1 II II KKM   rc4[UR55$rN)iterkeysrZs r__iter__StatisticsMap.__iter__-sDIIK  rr=c/n[[U55Hn[S[RUR UR U5n[S[RUR UR U5nUR[U5[UR U545 M [[[[4U5$)z Return the items of the map. r$r#)r(r^rrr/rPrQr0r*rrArrr8rrSr2r3r4rs ritemsStatisticsMap.items0ss4y!A??DIIWXDD99499diiQUC JJ '>tyy#'NO P"Ic?23S99rc /n[[U55HLnUR[[ S[ R URURU555 MN [[[U5$)z Return the keys of the map. r$) r(r^r*rrrr/rPrQrrr8)rSr2r3s rrStatisticsMap.keys@shs4y!A JJ>>    "HSM3''rc>UR5H up#X0U'M g)aP Update the map with the given values. Parameters ---------- values A mapping of nested structures composed of floats, callable, sequences, and mappings. A callable can be used to update an existing value, it receives the previous numeric value (or None if absent) as argument and must return an updated numeric value. N)r)rSr|rr;s rrFStatisticsMap.updateTs!,,.JCI)rcx/n[[U55Hn[S[RUR UR U5n[S[RUR UR U5nUR[UR U55 M [[[U5$)z Return the values of the map. r$r#) r(r^rrr/rPrQr0r*rArr rrs rr|StatisticsMap.valuescss4y!A??DIIWXDD99499diiQUC JJ.tyy#> ?"J/55rrN)rrrrrrUr[r8rarrdrnrrrrrrrrFr r|rr~rrrrs X 7 7GGCG.?  !:yo!56: (hsm(( 6 ?36rN)r=r) r collectionsrtypingrrrrrr r r r r r _internalrrrr__all__floatrrr+r<rBrArJrr8rr~rrrs!F    =< A)?EABX>-D K? KJ&^!oo6^!BD6N3#78D6r