synamine.filter¶

Event log filtering functions.

filter ¶

High-level filtering API.

filter_by_activity(
    log: EventLog,
    activities: list[str],
    *,
    exclude: bool = False,
) -> EventLog

Filter cases by activity presence.

filter_by_timeframe(
    log: EventLog,
    *,
    start: datetime | None = None,
    end: datetime | None = None,
) -> EventLog

Filter cases by time range.

filter_by_variant(
    log: EventLog,
    *,
    top_k: int | None = None,
    variants: Sequence[tuple[str, ...]] | None = None,
) -> EventLog

Filter cases by variant.