Skip to main content

slotted_egraphs/run/
report.rs

1#[derive(Debug, Clone)]
2pub enum StopReason<T = String>
3where
4    T: Clone,
5{
6    Saturated,
7    IterationLimit,
8    TimeLimit,
9    NodeLimit,
10    Other(T),
11}
12
13#[derive(Debug, Clone)]
14pub struct Report<T = String>
15where
16    T: Clone,
17{
18    pub iterations: usize,
19    pub stop_reason: StopReason<T>,
20    pub egraph_nodes: usize,
21    pub egraph_classes: usize,
22    pub total_time: f64,
23}