Skip to content

OC-DECLARE #36

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
aarkue wants to merge 27 commits into
base: main
Choose a base branch
from
Open

OC-DECLARE #36

aarkue wants to merge 27 commits into from

Conversation

@aarkue
Copy link
Owner

@aarkue aarkue commented Oct 27, 2025 •
edited
Loading

This PR ports OC-DECLARE (Object-Centric Declarative Constraints) to the process_mining crate.

Pointers:

aarkue added 18 commits October 27, 2025 13:51
@aarkue
Add initial OC-DECLARE implementation
dc23061
@aarkue
Change structs to pub + Add documentation
d95d5dd
@aarkue
Add parse_str for OC-DECLARE arc type
cb3da9a
@aarkue
Fix formatting
227f0ba
@aarkue
Fix typo
dd95daa
@aarkue
Add Serialize/Deserialize to OC-DECLARE Discovery Options
2a9d4f0
@aarkue
Merge branch 'feat/oc-declare' of github.com:aarkue/rust4pm into feat…
518294d 
…/oc-declare
@aarkue
Expose function get_evs_with_objs_perf
8f3503a
@aarkue
Add Arc types and reduction rule fields to OC-DECLARE discovery options
19822b4
@aarkue
Clippy & Fix reduction options logic
1181ac1
@aarkue
Stabilized reduction and added example for OC-DECLARE
c77faf9
@aarkue
OC-DECLARE without pre-processing for init/exit
b6a4b02
@aarkue
Improve performance (Thanks to set predicate sorting heuristic) and c…
07e553a 
…lean up code
@aarkue
Handle arcs without object requirements
4e0fb04
@aarkue
Formatting
8ed0eac
@aarkue
Fix reduction rule (BFS search, prevent cyclic removal)
f8649ef
@aarkue
Expand evaluation to cover different max counts
8f7f923
@aarkue
Ignore OCEL object timestamp for initial row/attributes for more robu…
a52d1ae 
…st parsing[C
@aarkue aarkue changed the base branch from main to restructure December 14, 2025 10:51
@aarkue aarkue changed the base branch from restructure to main January 9, 2026 08:56
@aarkue aarkue requested a review from VikiPeeva January 9, 2026 09:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@VikiPeeva VikiPeeva Awaiting requested review from VikiPeeva

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@aarkue