Struct ConformanceChecking 

pub struct ConformanceChecking { /* private fields */ }

Conformance checking kernel.

Checks how well traces in an event log conform to a process model (DFG or Petri net).

Implementations

impl ConformanceChecking

pub fn new() -> Self

Create a new conformance checking kernel.

pub fn check_dfg(trace: &Trace, dfg: &DirectlyFollowsGraph) -> ConformanceResult

Check conformance of a trace against a DFG.

pub fn check_petri_net(trace: &Trace, net: &PetriNet) -> ConformanceResult

Check conformance of a trace against a Petri net.

pub fn check_log_dfg( log: &EventLog, dfg: &DirectlyFollowsGraph, ) -> ConformanceStats

Calculate conformance statistics for an entire log.

pub fn classify_deviations(result: &ConformanceResult) -> DeviationSummary

Detect specific deviation patterns.

pub fn find_common_deviations( log: &EventLog, dfg: &DirectlyFollowsGraph, top_n: usize, ) -> Vec<CommonDeviation>

Find the most common deviation patterns across a log.

Trait Implementations

impl Clone for ConformanceChecking

fn clone(&self) -> ConformanceChecking

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ConformanceChecking

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ConformanceChecking

fn default() -> Self

Returns the “default value” for a type.

impl GpuKernel for ConformanceChecking

fn metadata(&self) -> &KernelMetadata

Returns the kernel metadata.

fn validate(&self) -> Result<(), KernelError>

Validate kernel configuration.

fn id(&self) -> &str

Returns the kernel ID.

fn requires_gpu_native(&self) -> bool

Returns true if this kernel requires GPU-native execution.

fn health_check(&self) -> HealthStatus

Perform a health check on this kernel.

fn shutdown(&self) -> Result<(), KernelError>

Graceful shutdown of the kernel.

fn refresh_config(&mut self, _config: &KernelConfig) -> Result<(), KernelError>

Refresh kernel configuration at runtime.