Struct TacticProfilingEvent 

pub struct TacticProfilingEvent {
    pub tactic: String,
    pub duration_ns: u64,
    pub success: bool,
    pub goals_before: u32,
    pub goals_after: u32,
}

A profiling event specific to tactic execution.

Fields

tactic: String

Name of the tactic.

duration_ns: u64

Duration in nanoseconds.

success: bool

Whether the tactic succeeded.

goals_before: u32

Number of goals before the tactic.

goals_after: u32

Number of goals after the tactic.

Implementations

impl TacticProfilingEvent

pub fn new( tactic: &str, duration_ns: u64, success: bool, goals_before: u32, goals_after: u32, ) -> Self

Create a new tactic profiling event.

pub fn goals_eliminated(&self) -> i32

Number of goals eliminated by this tactic step.

Trait Implementations

impl Clone for TacticProfilingEvent

fn clone(&self) -> TacticProfilingEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TacticProfilingEvent

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

Formats the value using the given formatter.