src/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/classes_declare4py.pdf,sha256=11LnN6BJHcC43Yvftwv5HSi2BaJeORcotVoJbRLdW5A,61941
src/packages_declare4py.pdf,sha256=k0se-qNkV3bezhiZTR1Ak78IL7ZaaW6yob3_BACKY4k,36373
src/Declare4Py/D4PyEventLog.py,sha256=O7DSHZ8-aIzy2MajugUb7I5NgAgbeQ6I6pcaYxCFIqc,12704
src/Declare4Py/__init__.py,sha256=_7OlQdbVkK4jad0CLdpI0grT-zEAb-qgFmH5mFzDXiA,22
src/Declare4Py/run_log_generator.py,sha256=NMoxVqhpy5mRmkk4NgqbnFzdReh8FbSzHx7y78Pw5ys,9167
src/Declare4Py/Encodings/Aggregate.py,sha256=zXKaBE_SAXL6NiVhwnPtC5GalpoSQyFqU7CZugqYAck,3539
src/Declare4Py/Encodings/ComplexIndexBased.py,sha256=6hyVu4s_4hvcKJP0EQVcZdktfi-SgYPI4XtBoQBRQ0s,4546
src/Declare4Py/Encodings/ComplexIndexNgram.py,sha256=Lmw0MowD2IxbtGOXamF_fPmnG799PJ0e5m6U1bGOtMs,10243
src/Declare4Py/Encodings/Declare.py,sha256=ys14B0tIjRa9uDR8IERM6ss8BNKO8C_b67REy6HmoVA,4984
src/Declare4Py/Encodings/IndexBased.py,sha256=PobQdGu8_NqDiyrKRkNiy4fnf_yllrUX8TIC_cQgEDg,3821
src/Declare4Py/Encodings/LastState.py,sha256=kPNYXKoXFF8wfUEBOL0L9uQxyoHvDhRhP3aoo_6mnZw,2756
src/Declare4Py/Encodings/Ngram.py,sha256=-ze9XTCevaOI5OBAfZXPjyC1LhduObKS6djmJU3jQ4Y,7723
src/Declare4Py/Encodings/PreviousState.py,sha256=F-sL7bLZ8WUkwL450NQC6cvnzJVCcoBZQdnllsTJWB4,2976
src/Declare4Py/Encodings/Static.py,sha256=hl0PrxdgNNu1ksGF7HyGOJMXXfjTtoI__VFADj1uhTQ,2776
src/Declare4Py/Encodings/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/Declare4Py/Encodings/FeatureEngineering/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/Declare4Py/Encodings/FeatureEngineering/inter_case_features.py,sha256=U8yR7TS6su1nFv-BnRHWCBTT323Nb7ULTFmFC5FLkdE,7803
src/Declare4Py/ProcessMiningTasks/AbstractConformanceChecking.py,sha256=pwZV04_6gdliKL7v-et_FbdqYdXwT-wtMUyTxfDRjoo,775
src/Declare4Py/ProcessMiningTasks/AbstractDiscovery.py,sha256=VeXHmXeYIcGf1EMrghC-rQ1czNJSCMA7QeLMwz8Up9k,1051
src/Declare4Py/ProcessMiningTasks/AbstractMonitoring.py,sha256=kTpjPWwnNaMWc9mxDCfBLAoeUuErDgOkCyHREqS-mE8,551
src/Declare4Py/ProcessMiningTasks/AbstractPMTask.py,sha256=XZXToca5_Jhgkuxrhz3YUzqgk4u0SrEVr700CQeqsSs,840
src/Declare4Py/ProcessMiningTasks/AbstractQueryChecking.py,sha256=1wgWJ4ps3e4zplnDysnuBX-ZZEnImJ30OlXrXXly-Gc,2104
src/Declare4Py/ProcessMiningTasks/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/Declare4Py/ProcessMiningTasks/log_generator.py,sha256=Kffq3wCOeZec-7-bxofx1CvGMPDSFCma6Z1JEYd2TmQ,2598
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/asp_generator.py,sha256=9SQ8Ns6V2fFfa8gU0pnIcJs7_QLQ3sRIOj4vXttfF-Y,38370
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPTranslator/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPTranslator/asp_translator.py,sha256=mNfA9AOFf8qjm9x23DkKTxYwuDs6DHB9JMTT8g_EWTo,8687
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPTranslator/declare_constraint_resolver.py,sha256=Y3sYjqeHRm4J_FUzyRlO8QEdhAIeTQIeG8pc63GTUuE,17795
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPUtils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPUtils/asp_encoding.py,sha256=d3ZLQKR9Yt2Ax2HsAHvlvwRUBZbqFXnGoHUuZax1ndE,2344
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPUtils/asp_result_parser.py,sha256=JX6_4eqzy85IEzMFJrxgNJciFXce97ZfxM9kIkdB--4,4946
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPUtils/asp_template.py,sha256=2qZ8jiKsxFGi4ahGpektaEXEPynrAZS23VkPzvgJDaA,13746
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPUtils/distribution.py,sha256=_33LICaP_1cz-VR3tr5ATBL6qw7ApFkaR2hlOQjf2Wg,7652
src/Declare4Py/ProcessMiningTasks/ConformanceChecking/LTLAnalyzer.py,sha256=Z0z9Bo86xHzLOEIg7kSDjPOmm6UeKJnx7kMQGxWsKYA,10670
src/Declare4Py/ProcessMiningTasks/ConformanceChecking/MPDeclareAnalyzer.py,sha256=f90aShp3enKQIYKseTsYUeNNSneKXVu5TSCwtRpL0tw,2286
src/Declare4Py/ProcessMiningTasks/ConformanceChecking/MPDeclareResultsBrowser.py,sha256=2hd-vdVLkAKW58v4TdlUgbJe-TmJ-6jmx0QCzHKe1Vk,3404
src/Declare4Py/ProcessMiningTasks/ConformanceChecking/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/Declare4Py/ProcessMiningTasks/Discovery/DeclareMiner.py,sha256=NodHmBHLOCh6X8tMBl5nN9nyeN8VOGHE2ghBwojmPDU,9532
src/Declare4Py/ProcessMiningTasks/Discovery/DeclareMinerResultsBrowser.py,sha256=o2-1nyKm2DfnxghYigMDILt4ypqA49WFKCYfCSAUWMw,624
src/Declare4Py/ProcessMiningTasks/Discovery/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/Declare4Py/ProcessMiningTasks/LogFiltering/BasicFilters.py,sha256=OH4l8NS-tBhxGlTgvIlEvSzas9C72460O6Ny_2wKvQs,8007
src/Declare4Py/ProcessMiningTasks/LogFiltering/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/Declare4Py/ProcessMiningTasks/QueryChecking/DeclareQueryChecker.py,sha256=wSbk7HioNIa1mHyi5ph096n4QPli_rkbYOBS1LwoHAM,10727
src/Declare4Py/ProcessMiningTasks/QueryChecking/DeclareResultsBrowser.py,sha256=4Ymv7YFpLTV27A8z5agKcmP9apVPXKTmDodLkrj3bak,2057
src/Declare4Py/ProcessMiningTasks/QueryChecking/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/Declare4Py/ProcessModels/AbstractModel.py,sha256=AttMNZHiZpCrsZJcbvSzz99NpUJl5WUz0BAonDyS9kc,649
src/Declare4Py/ProcessModels/DeclareModel.py,sha256=TpVfWixsWyY4HdJtXuw-KKA48BZ7aEXL-mWR-p3NtHI,55346
src/Declare4Py/ProcessModels/LTLModel.py,sha256=k7zgCrvCMXMhK6cQwFCztwl5YTlikrqARyF7oER5cnk,43998
src/Declare4Py/ProcessModels/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/Declare4Py/Utils/__init__.py,sha256=ajz1GSNU9xYVrFEDSz6Xwg7amWQ_yvW75tQa1ZvRIWc,3
src/Declare4Py/Utils/custom_utility_dict.py,sha256=Sp09jOdXBQ3oMZ-TbpLFT2D9vFQBRoz5x-r2pRCZzaA,3075
src/Declare4Py/Utils/utils.py,sha256=cgaY-Nh5rSu6gWUuDyKgN0LXliqujnHrnSILuqU2bQQ,2409
src/Declare4Py/Utils/Declare/Checkers.py,sha256=5HvWGTLEDa1hSPMYqWzeruX9WjDTF37hVzYLK-3tetw,39907
src/Declare4Py/Utils/Declare/TraceStates.py,sha256=e9Thyb1kGOO6dXgrFj2WJ3rGayg8bkr-mLfvNGdvo-8,198
src/Declare4Py/Utils/Declare/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tests/declare4py_performance.csv,sha256=eqH89nO2TjPtB3UvXt_POa5gxJppz1LQrbYzDCq0wns,1035
tests/log_gen_quality_test.py,sha256=4kcaJkcSeQouZ6u_2Igk5oxE_cGddpEEKeIiOOgg2FY,1768
tests/performance_LTL_analyzer.py,sha256=htkeVS7c63SZb34qMZmq9lT0WHrTQm7ZyXCbJL1VqBk,3407
tests/performance_LTL_analyzer_MM.py,sha256=hyaOhkzRZsA2vSy26EbigvAt2H4JQ8ge5IAnMTBI6lo,2975
tests/performance_test.py,sha256=3VOxt6TiLGEKyNurIknwFVwT4H28kBnppPTSh6-Gcws,1141
tests/plot_performance.py,sha256=omgkO8Zhs9BZpO9o1sBsfQ4uSPGxvtfcXsKBfeMf39I,5752
tests/prova_numba.py,sha256=AtRXT_VSKD5V8Q0u9OxhCDfHYYG_h5aOGdXPIFtPBIw,394
tests/declare_models/BusinessTrip.decl,sha256=PCyo2J2Z_rgt_C9E3L6VZT0Tcjj7w1_5kQyMZ6CCYx4,1209
tests/declare_models/decl-model-v3.decl,sha256=7jtYYyVM1Za0AS_oMRuz0eUVDX7Eenz44t-4ok-w1Lo,1825
tests/declare_models/drive_test.decl,sha256=LUbXPLfn_9l2s5YPaO-pq6I18NzkJOHM0UzvG1cJ1JI,431
tests/declare_models/drive_test_encode_free.decl,sha256=No7zDSGcB2NDqa1px0-epzpL7ke60rTnwfjFkrWzG24,431
tests/declare_models/nodata_model.decl,sha256=wMnLckjNPu0R3qTBs-_OHxrxp8LJDPxAeBFnESdjVg0,4520
tests/declare_models/shop_cart.decl,sha256=iWtfxZn55NE9E3BtoIxl_75dDU31I4H5Jn2srQtqbn8,2032
tests/declare_models/xRay.decl,sha256=r4GHtmVmkLAHPkQbGYlGCttJCYGwKndk18YdcwlX-Io,1323
tests/filters_jsons/fifty_filters.json,sha256=PeVxfRZr3DFDRZgJ1toeyt46zGtYuFROhpyXzTqkaQY,943
tests/filters_jsons/five_filters.json,sha256=8Amj8jggScdINKpbUIx9_5vL3OIDBDW69nfeynUIdws,1208
tests/filters_jsons/one_filters.json,sha256=jFdVfR0ingD5FIorbPqRjk_ruTuE3V9yrilkDO15cEc,240
tests/filters_jsons/ten_filters.json,sha256=PeVxfRZr3DFDRZgJ1toeyt46zGtYuFROhpyXzTqkaQY,943
tests/filters_jsons/twenty_filters.json,sha256=z_oCQFeb-8H4DRQSyn1ZUX5PikeatMa7aHPS8zj1c2w,4776
tests/test_logs/InternationalDeclarations.xes.gz,sha256=tSfI0GJV9DEsbOjzb39BECQ9hP1spIWDzZuAiWxgFJQ,1581144
tests/test_logs/Road_Traffic_Fine_Management_Process.xes,sha256=fQhxR8tbILFYJAubrweYpPe-vguzXkjWHHLpcfNG5uY,14472747
tests/test_logs/Sepsis Cases.xes.gz,sha256=cJxSNAMGQVlSgRubnF3GvMj41H1YPro535pThFncVDo,202508
tests/test_logs/Sepsis(1000 traces).xes,sha256=XyMdAi9Vavy2_G-Bu5viboJa00OBlzXatHeLUc2Em9Y,5143413
tests/test_logs/repair_example(500 traces).xes,sha256=0l08108AP0OPBcQPA2kkiIxXXtmMPrcI7-xy8UzggqE,1609981
tests/test_logs/teleclaims(2500traces).xes,sha256=AVgcgcvq4-_J0y6sNAf1tMg7qQwTog8ZpYJMcaZREJI,9873768
tests/test_models/data_model.decl,sha256=M5GsMPvxIJggyCDLol-f3KwXPerwINTulMhhNqHzRvo,4719
tests/test_models/decl-model-v3.decl,sha256=Pxs0Ao9Aj4vlkZGX1Vj4ncKnFpNzWsDwu3emZ5PjKLY,1821
tests/test_models/decl-model.decl,sha256=boRgSVgrgFQd68t2aToYWAPvB0C-2_I4kpL3Zl3h8NM,1676
tests/test_models/decl-model2.decl,sha256=XuIwN5Y-E56cY1AEa91FMPmMGZId67SO--l08u9Lvgw,1717
tests/test_models/decl-model3.decl,sha256=fP7Bw6FSTYBhSIlaY_BJoPD5M3lsxJI41m0O_k_QTE0,1721
tests/test_models/decl-model4.decl,sha256=kexPkcFBaTDBimaTfP-n7mTFsEdcS6sqoZtSTQL57d8,218
tests/test_models/decl-model5.decl,sha256=9Nh2w105B7LRB86DP9fZbbQ8ZWWbV0y3EfCnxUVPhyo,487
tests/test_models/decl-model6.decl,sha256=iIlIBOHLfpVcaWxFxamdrrTC3Eo-ULI3lfkW_ur0ptc,136
tests/test_models/decl-model7.decl,sha256=9Nh2w105B7LRB86DP9fZbbQ8ZWWbV0y3EfCnxUVPhyo,487
tests/test_models/example1.decl,sha256=OaAjO4OkS6dpe5s9vmBSjb1xbWuz6QBEisfAm45dG20,1084
tests/test_models/model1.decl,sha256=EdybbgR7FuTNL--IweUjjCYTzgkEAsc2e2ljtDfvq7g,3398
tests/test_models/model2.decl,sha256=S2TfqOQeGB7_eJ4Ltcfarvt2ZmtqF_PFmfGZXHEjZGA,4851
tests/test_models/model3.decl,sha256=DMMptpG1_kVpFqEk3nRF8erxiZnEzMFXRR3oC58tiXQ,5794
tests/test_models/model4.decl,sha256=_9dTepcvB-MlsC7FQH4dTxnrq3aJTvFdiUMmX87STeo,6604
tests/test_performance/ltl_analyzer.csv,sha256=LuFJcV2tCAZSd94hbc80Ai-Arq0iYG2TfeKpDxpwXbU,46347
tests/test_performance/performance_ltl_analyzer.csv,sha256=DQgecvnjonXU0MvBzovrideb8PYMWSuJcZzUuLYgkhc,12534
tests/unit_tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
declare4py-0.0.0.1.dist-info/METADATA,sha256=pfHHkFc3nunhZSbYsVGiyj1SRftUl2M6cG2vok4r9Rk,6764
declare4py-0.0.0.1.dist-info/WHEEL,sha256=yQN5g4mg4AybRjkgi-9yy4iQEFibGQmlz78Pik5Or-A,92
declare4py-0.0.0.1.dist-info/top_level.txt,sha256=KW3xgkz9NLMTcmmzgKvW8RFpCFkRIQ085qzq2diFf68,10
declare4py-0.0.0.1.dist-info/RECORD,,
