pm4py.algo.filtering.log.ltl package

Submodules

• pm4py.algo.filtering.log.ltl.ltl_checker module
  • Parameters
    • Parameters.ATTRIBUTE_KEY
    • Parameters.TIMESTAMP_KEY
    • Parameters.RESOURCE_KEY
    • Parameters.POSITIVE
    • Parameters.ENABLE_TIMESTAMP
    • Parameters.TIMESTAMP_DIFF_BOUNDARIES
  • timestamp_list_is_ge()
  • timestamp_list_is_le()
  • eventually_follows()
  • A_next_B_next_C()
  • four_eyes_principle()
  • attr_value_different_persons()

Module contents