All functions

absent()

Check if an activity is absent from a case

and()

Check for co-existence of two activities

check_rule()

Check declarative rules.

check_rules()

Check multiple declarative rules.

contains_between()

Check if activity is present (contained) in a case between min and max number of times

contains_exactly()

Check if activity is present (contained) in a case for exactly n times

ends()

Check if cases end with an activity.

filter_rules()

Filter using declarative rules.

precedence()

Check for precedence between two activities.

processcheckR

processcheckR - Check rules in event data

responded_existence()

Check for responded existence between two activity

response()

Check for response between two activities

starts()

Check if cases start with an activity

succession()

Check succession between two activities

xor()

Check for exclusiveness of two activities