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  |