/// Create a new `Runner` with the given analysis and default parameters.
Create a new `Runner` with the given analysis and default parameters.
Create a new ` Runner ` with the given analysis and default parameters .
pub fn new(analysis: N) -> Self {
        Self {
            iter_limit: 30,
            node_limit: 10_000,
            time_limit: Duration::from_secs(5),
            egraph: EGraph::new(analysis),
            roots: vec![],
            iterations: vec![],
            stop_reason: None,
            hooks: vec![],
            start_time: None,
            scheduler: Box::new(BackoffScheduler::default()),
        }
    }
pub fn new ( analysis : N ) -> Self { Self { iter_limit : 30 , node_limit : 10_000 , time_limit : Duration :: from_secs ( 5 ) , egraph : EGraph :: new ( analysis ) , roots : vec ! [ ] , iterations : vec ! [ ] , stop_reason : None , hooks : vec ! [ ] , start_time : None , scheduler : Box :: new ( BackoffScheduler :: default ( ) ) , } }
Create a new `Runner` with the given analysis and default parameters.
Create a new ` Runner ` with the given analysis and default parameters .
analysis
N