Added StateSpaceSubdivisionFilter

[FlorianPfaff]

No description provided.

[github-actions]

Test Results

2 tests  +1   0 ✔️ ±0   5s ⏱️ -3s
1 suites ±0   0 💤 ±0 
1 files   ±0   0 ❌ ±0   2 🔥 +1 

For more details on these errors, see this check.

Results for commit d2af052. ± Comparison against base commit 5411a0b.

[github-actions]

🦙 MegaLinter status: ❌ ERROR

Descriptor	Linter	Files	Fixed	Errors	Elapsed time
✅ ACTION	actionlint	4		0	0.18s
✅ COPYPASTE	jscpd	yes		no	9.94s
✅ JSON	eslint-plugin-jsonc	1	0	0	0.85s
✅ JSON	prettier	1	0	0	0.63s
✅ JSON	v8r	1		0	1.59s
✅ MARKDOWN	markdownlint	1	0	0	0.38s
✅ MARKDOWN	markdown-link-check	1		0	0.86s
✅ MARKDOWN	markdown-table-formatter	1	0	0	0.27s
✅ PYTHON	bandit	219		0	4.17s
✅ PYTHON	black	219	4	0	4.39s
❌ PYTHON	flake8	219		5	3.29s
✅ PYTHON	isort	219	4	0	0.58s
❌ PYTHON	mypy	219		1	4.01s
❌ PYTHON	pylint	219		26	63.04s
❌ PYTHON	ruff	219	4	6	0.09s
✅ REPOSITORY	checkov	yes		no	17.75s
✅ REPOSITORY	gitleaks	yes		no	0.37s
✅ REPOSITORY	git_diff	yes		no	0.03s
✅ REPOSITORY	secretlint	yes		no	3.79s
✅ REPOSITORY	trivy-sbom	yes		no	0.94s
✅ REPOSITORY	trufflehog	yes		no	58.88s
✅ YAML	prettier	8	0	0	0.73s
✅ YAML	v8r	8		0	6.01s
✅ YAML	yamllint	8		0	0.4s

See detailed report in MegaLinter reports

MegaLinter is graciously provided by