├── .gitignore ├── README.md ├── dist ├── declare4py-1.0.0-py3-none-any.whl └── declare4py-1.0.0.tar.gz ├── docs └── declare4py │ ├── api_functions.html │ ├── constraint_checkers │ ├── choice.html │ ├── existence.html │ ├── index.html │ ├── negative_relation.html │ └── relation.html │ ├── declare4py.html │ ├── enums │ ├── index.html │ └── mp_constants.html │ ├── index.html │ ├── models │ ├── checker_result.html │ ├── decl_model.html │ ├── index.html │ ├── log_result.html │ └── trace_result.html │ └── parsers │ ├── decl_parser.html │ └── index.html ├── pyproject.toml ├── setup.cfg ├── src └── declare4py │ ├── __init__.py │ ├── api_functions.py │ ├── constraint_checkers │ ├── __init__.py │ ├── choice.py │ ├── existence.py │ ├── negative_relation.py │ └── relation.py │ ├── declare4py.py │ ├── enums │ ├── __init__.py │ └── mp_constants.py │ ├── models │ ├── __init__.py │ ├── checker_result.py │ ├── decl_model.py │ ├── log_result.py │ └── trace_result.py │ └── parsers │ ├── __init__.py │ └── decl_parser.py ├── tests ├── Sepsis Cases.xes.gz ├── __init__.py ├── declare4py_performance.csv ├── declare_models │ ├── data_model.decl │ └── nodata_model.decl ├── performance_test.py ├── plot_performance.py └── test_models │ ├── model1.decl │ ├── model2.decl │ ├── model3.decl │ └── model4.decl └── tutorials ├── Dependency_diagram.png ├── conformance_checking.ipynb ├── log_analysis.ipynb ├── model_discovery.ipynb ├── query_checking.ipynb └── system_overview.ipynb /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/README.md -------------------------------------------------------------------------------- /dist/declare4py-1.0.0-py3-none-any.whl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/dist/declare4py-1.0.0-py3-none-any.whl -------------------------------------------------------------------------------- /dist/declare4py-1.0.0.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/dist/declare4py-1.0.0.tar.gz -------------------------------------------------------------------------------- /docs/declare4py/api_functions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/api_functions.html -------------------------------------------------------------------------------- /docs/declare4py/constraint_checkers/choice.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/constraint_checkers/choice.html -------------------------------------------------------------------------------- /docs/declare4py/constraint_checkers/existence.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/constraint_checkers/existence.html -------------------------------------------------------------------------------- /docs/declare4py/constraint_checkers/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/constraint_checkers/index.html -------------------------------------------------------------------------------- /docs/declare4py/constraint_checkers/negative_relation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/constraint_checkers/negative_relation.html -------------------------------------------------------------------------------- /docs/declare4py/constraint_checkers/relation.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/constraint_checkers/relation.html -------------------------------------------------------------------------------- /docs/declare4py/declare4py.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/declare4py.html -------------------------------------------------------------------------------- /docs/declare4py/enums/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/enums/index.html -------------------------------------------------------------------------------- /docs/declare4py/enums/mp_constants.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/enums/mp_constants.html -------------------------------------------------------------------------------- /docs/declare4py/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/index.html -------------------------------------------------------------------------------- /docs/declare4py/models/checker_result.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/models/checker_result.html -------------------------------------------------------------------------------- /docs/declare4py/models/decl_model.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/models/decl_model.html -------------------------------------------------------------------------------- /docs/declare4py/models/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/models/index.html -------------------------------------------------------------------------------- /docs/declare4py/models/log_result.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/models/log_result.html -------------------------------------------------------------------------------- /docs/declare4py/models/trace_result.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/models/trace_result.html -------------------------------------------------------------------------------- /docs/declare4py/parsers/decl_parser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/parsers/decl_parser.html -------------------------------------------------------------------------------- /docs/declare4py/parsers/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/docs/declare4py/parsers/index.html -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/pyproject.toml -------------------------------------------------------------------------------- /setup.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/setup.cfg -------------------------------------------------------------------------------- /src/declare4py/__init__.py: -------------------------------------------------------------------------------- 1 | __version__ = "1.0.0" 2 | -------------------------------------------------------------------------------- /src/declare4py/api_functions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/api_functions.py -------------------------------------------------------------------------------- /src/declare4py/constraint_checkers/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/constraint_checkers/__init__.py -------------------------------------------------------------------------------- /src/declare4py/constraint_checkers/choice.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/constraint_checkers/choice.py -------------------------------------------------------------------------------- /src/declare4py/constraint_checkers/existence.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/constraint_checkers/existence.py -------------------------------------------------------------------------------- /src/declare4py/constraint_checkers/negative_relation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/constraint_checkers/negative_relation.py -------------------------------------------------------------------------------- /src/declare4py/constraint_checkers/relation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/constraint_checkers/relation.py -------------------------------------------------------------------------------- /src/declare4py/declare4py.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/declare4py.py -------------------------------------------------------------------------------- /src/declare4py/enums/__init__.py: -------------------------------------------------------------------------------- 1 | from .mp_constants import * 2 | -------------------------------------------------------------------------------- /src/declare4py/enums/mp_constants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/enums/mp_constants.py -------------------------------------------------------------------------------- /src/declare4py/models/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/models/__init__.py -------------------------------------------------------------------------------- /src/declare4py/models/checker_result.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/models/checker_result.py -------------------------------------------------------------------------------- /src/declare4py/models/decl_model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/models/decl_model.py -------------------------------------------------------------------------------- /src/declare4py/models/log_result.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/models/log_result.py -------------------------------------------------------------------------------- /src/declare4py/models/trace_result.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/models/trace_result.py -------------------------------------------------------------------------------- /src/declare4py/parsers/__init__.py: -------------------------------------------------------------------------------- 1 | from .decl_parser import * 2 | -------------------------------------------------------------------------------- /src/declare4py/parsers/decl_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/src/declare4py/parsers/decl_parser.py -------------------------------------------------------------------------------- /tests/Sepsis Cases.xes.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tests/Sepsis Cases.xes.gz -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/declare4py_performance.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tests/declare4py_performance.csv -------------------------------------------------------------------------------- /tests/declare_models/data_model.decl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tests/declare_models/data_model.decl -------------------------------------------------------------------------------- /tests/declare_models/nodata_model.decl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tests/declare_models/nodata_model.decl -------------------------------------------------------------------------------- /tests/performance_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tests/performance_test.py -------------------------------------------------------------------------------- /tests/plot_performance.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tests/plot_performance.py -------------------------------------------------------------------------------- /tests/test_models/model1.decl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tests/test_models/model1.decl -------------------------------------------------------------------------------- /tests/test_models/model2.decl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tests/test_models/model2.decl -------------------------------------------------------------------------------- /tests/test_models/model3.decl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tests/test_models/model3.decl -------------------------------------------------------------------------------- /tests/test_models/model4.decl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tests/test_models/model4.decl -------------------------------------------------------------------------------- /tutorials/Dependency_diagram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tutorials/Dependency_diagram.png -------------------------------------------------------------------------------- /tutorials/conformance_checking.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tutorials/conformance_checking.ipynb -------------------------------------------------------------------------------- /tutorials/log_analysis.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tutorials/log_analysis.ipynb -------------------------------------------------------------------------------- /tutorials/model_discovery.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tutorials/model_discovery.ipynb -------------------------------------------------------------------------------- /tutorials/query_checking.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tutorials/query_checking.ipynb -------------------------------------------------------------------------------- /tutorials/system_overview.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/francxx96/declare4py/HEAD/tutorials/system_overview.ipynb --------------------------------------------------------------------------------