.gitignore
README.md
__init__.py
pylintrc
pyproject.toml
readthedocs.yml
requirements.txt
setup.cfg
setup.py
.github/workflows/publish_to_py_pi.yml
declare4py.egg-info/PKG-INFO
declare4py.egg-info/SOURCES.txt
declare4py.egg-info/dependency_links.txt
declare4py.egg-info/requires.txt
declare4py.egg-info/top_level.txt
dist/.gitkeep
docs/Makefile
docs/make.bat
docs/source/Citing.rst
docs/source/Credits.rst
docs/source/How to contribute.rst
docs/source/Publications.rst
docs/source/conf.py
docs/source/documentation.rst
docs/source/gettingstarted.rst
docs/source/index.rst
docs/source/installation.rst
docs/source/modules.rst
docs/source/requirements.txt
docs/source/src.Declare4Py.Encodings.FeatureEngineering.rst
docs/source/src.Declare4Py.Encodings.rst
docs/source/src.Declare4Py.ProcessMiningTasks.ASPLogGeneration.ASPTranslator.rst
docs/source/src.Declare4Py.ProcessMiningTasks.ASPLogGeneration.ASPUtils.rst
docs/source/src.Declare4Py.ProcessMiningTasks.ASPLogGeneration.rst
docs/source/src.Declare4Py.ProcessMiningTasks.ConformanceChecking.rst
docs/source/src.Declare4Py.ProcessMiningTasks.Discovery.rst
docs/source/src.Declare4Py.ProcessMiningTasks.LogFiltering.rst
docs/source/src.Declare4Py.ProcessMiningTasks.QueryChecking.rst
docs/source/src.Declare4Py.ProcessMiningTasks.rst
docs/source/src.Declare4Py.ProcessModels.rst
docs/source/src.Declare4Py.Utils.Declare.rst
docs/source/src.Declare4Py.Utils.rst
docs/source/src.Declare4Py.rst
docs/source/src.rst
docs/source/_static/css/custom.css
docs/source/images/d4py_mindmap.pdf
docs/source/images/d4py_mindmap.png
docs/source/tutorials/1.Managing_Event_Logs.ipynb
docs/source/tutorials/2.Managing_Process_Models.ipynb
docs/source/tutorials/3.1.Log_Filtering_LTLf.ipynb
docs/source/tutorials/3.Conformance_checking_LTLf.ipynb
docs/source/tutorials/4.Conformance_checking_DECLARE.ipynb
docs/source/tutorials/5.Declare_Query_Checking.ipynb
docs/source/tutorials/6.Declare_Model_Discovery.ipynb
docs/source/tutorials/7.Log_filtering.ipynb
docs/source/tutorials/8.Log_Encodings.ipynb
docs/source/tutorials/9. Log_Generation.ipynb
docs/source/tutorials/9.Log_Generation.ipynb
docs/source/tutorials/asp_generator_activation_conditions.ipynb
docs/source/tutorials/asp_generator_base.ipynb
docs/source/tutorials/asp_generator_distribution.ipynb
docs/source/tutorials/asp_generator_pos_neg_traces.ipynb
docs/source/tutorials/asp_generator_variations.ipynb
docs/source/tutorials/decl_files/MikeModel.decl
docs/source/tutorials/decl_files/Response.decl
docs/source/tutorials/decl_files/diagonisis.decl
docs/source/tutorials/decl_files/reference10.decl
docs/source/tutorials/decl_files/sepsis.decl
output/.gitkeep
src/__init__.py
src/classes_declare4py.pdf
src/packages_declare4py.pdf
src/Declare4Py/D4PyEventLog.py
src/Declare4Py/__init__.py
src/Declare4Py/run_log_generator.py
src/Declare4Py/Encodings/Aggregate.py
src/Declare4Py/Encodings/ComplexIndexBased.py
src/Declare4Py/Encodings/ComplexIndexNgram.py
src/Declare4Py/Encodings/Declare.py
src/Declare4Py/Encodings/IndexBased.py
src/Declare4Py/Encodings/LastState.py
src/Declare4Py/Encodings/Ngram.py
src/Declare4Py/Encodings/PreviousState.py
src/Declare4Py/Encodings/Static.py
src/Declare4Py/Encodings/__init__.py
src/Declare4Py/Encodings/FeatureEngineering/__init__.py
src/Declare4Py/Encodings/FeatureEngineering/inter_case_features.py
src/Declare4Py/ProcessMiningTasks/AbstractConformanceChecking.py
src/Declare4Py/ProcessMiningTasks/AbstractDiscovery.py
src/Declare4Py/ProcessMiningTasks/AbstractMonitoring.py
src/Declare4Py/ProcessMiningTasks/AbstractPMTask.py
src/Declare4Py/ProcessMiningTasks/AbstractQueryChecking.py
src/Declare4Py/ProcessMiningTasks/__init__.py
src/Declare4Py/ProcessMiningTasks/log_generator.py
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/__init__.py
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/asp_generator.py
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPTranslator/__init__.py
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPTranslator/asp_translator.py
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPTranslator/declare_constraint_resolver.py
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPUtils/__init__.py
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPUtils/asp_encoding.py
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPUtils/asp_result_parser.py
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPUtils/asp_template.py
src/Declare4Py/ProcessMiningTasks/ASPLogGeneration/ASPUtils/distribution.py
src/Declare4Py/ProcessMiningTasks/ConformanceChecking/LTLAnalyzer.py
src/Declare4Py/ProcessMiningTasks/ConformanceChecking/MPDeclareAnalyzer.py
src/Declare4Py/ProcessMiningTasks/ConformanceChecking/MPDeclareResultsBrowser.py
src/Declare4Py/ProcessMiningTasks/ConformanceChecking/__init__.py
src/Declare4Py/ProcessMiningTasks/Discovery/DeclareMiner.py
src/Declare4Py/ProcessMiningTasks/Discovery/DeclareMinerResultsBrowser.py
src/Declare4Py/ProcessMiningTasks/Discovery/__init__.py
src/Declare4Py/ProcessMiningTasks/LogFiltering/BasicFilters.py
src/Declare4Py/ProcessMiningTasks/LogFiltering/__init__.py
src/Declare4Py/ProcessMiningTasks/QueryChecking/DeclareQueryChecker.py
src/Declare4Py/ProcessMiningTasks/QueryChecking/DeclareResultsBrowser.py
src/Declare4Py/ProcessMiningTasks/QueryChecking/__init__.py
src/Declare4Py/ProcessModels/AbstractModel.py
src/Declare4Py/ProcessModels/DeclareModel.py
src/Declare4Py/ProcessModels/LTLModel.py
src/Declare4Py/ProcessModels/__init__.py
src/Declare4Py/Utils/__init__.py
src/Declare4Py/Utils/custom_utility_dict.py
src/Declare4Py/Utils/utils.py
src/Declare4Py/Utils/Declare/Checkers.py
src/Declare4Py/Utils/Declare/TraceStates.py
src/Declare4Py/Utils/Declare/__init__.py
tests/__init__.py
tests/declare4py_performance.csv
tests/log_gen_quality_test.py
tests/performance_LTL_analyzer.py
tests/performance_LTL_analyzer_MM.py
tests/performance_test.py
tests/plot_performance.py
tests/prova_numba.py
tests/declare_models/BusinessTrip.decl
tests/declare_models/decl-model-v3.decl
tests/declare_models/drive_test.decl
tests/declare_models/drive_test_encode_free.decl
tests/declare_models/nodata_model.decl
tests/declare_models/shop_cart.decl
tests/declare_models/xRay.decl
tests/filters_jsons/fifty_filters.json
tests/filters_jsons/five_filters.json
tests/filters_jsons/one_filters.json
tests/filters_jsons/ten_filters.json
tests/filters_jsons/twenty_filters.json
tests/test_logs/InternationalDeclarations.xes.gz
tests/test_logs/Road_Traffic_Fine_Management_Process.xes
tests/test_logs/Sepsis Cases.xes.gz
tests/test_logs/Sepsis(1000 traces).xes
tests/test_logs/repair_example(500 traces).xes
tests/test_logs/teleclaims(2500traces).xes
tests/test_models/data_model.decl
tests/test_models/decl-model-v3.decl
tests/test_models/decl-model.decl
tests/test_models/decl-model2.decl
tests/test_models/decl-model3.decl
tests/test_models/decl-model4.decl
tests/test_models/decl-model5.decl
tests/test_models/decl-model6.decl
tests/test_models/decl-model7.decl
tests/test_models/example1.decl
tests/test_models/model1.decl
tests/test_models/model2.decl
tests/test_models/model3.decl
tests/test_models/model4.decl
tests/test_performance/ltl_analyzer.csv
tests/test_performance/performance_ltl_analyzer.csv
tests/unit_tests/__init__.py