Struct Runner 

pub struct Runner<L: Language, N: Analysis<L> = (), IterData = (), CustomErrorT = String>
where
    IterData: IterationData<L, N>,
    CustomErrorT: Clone,
{
    pub egraph: EGraph<L, N>,
    pub iterations: Vec<Iteration<IterData>>,
    pub roots: Vec<AppliedId>,
    pub stop_reason: Option<StopReason<CustomErrorT>>,
    pub limits: RunnerLimits,
    pub hooks: Vec<Box<dyn FnMut(&mut Self) -> Result<(), CustomErrorT> + 'static>>,
}

Fields

egraph: EGraph<L, N>

The EGraph used.

iterations: Vec<Iteration<IterData>>

Data accumulated over each Iteration.

roots: Vec<AppliedId>

The roots of expressions added by the with_expr method, in insertion order.

stop_reason: Option<StopReason<CustomErrorT>>

Why the Runner stopped. This will be None if it hasn’t stopped yet.

limits: RunnerLimits

hooks: Vec<Box<dyn FnMut(&mut Self) -> Result<(), CustomErrorT> + 'static>>

hooks

Implementations

impl<L, N, IterData, CustomErrorT> Runner<L, N, IterData, CustomErrorT>

where L: Language, N: Analysis<L>, IterData: IterationData<L, N>, CustomErrorT: Clone,

pub fn new(n: N) -> Self

pub fn with_expr(self, expr: &RecExpr<L>) -> Self

pub fn with_hook<F>(self, hook: F) -> Self

where F: FnMut(&mut Self) -> Result<(), CustomErrorT> + 'static,

pub fn with_egraph(self, egraph: EGraph<L, N>) -> Self

pub fn with_node_limit(self, node_limit: usize) -> Self

pub fn with_iter_limit(self, iter_limit: usize) -> Self

pub fn with_time_limit(self, time_limit: Duration) -> Self

pub fn run(&mut self, rewrites: &[Rewrite<L, N>]) -> Report<CustomErrorT>

Trait Implementations

impl<L, N, IterData, CustomErrorT> Default for Runner<L, N, IterData, CustomErrorT>

where L: Language, N: Analysis<L> + Default, IterData: IterationData<L, N>, CustomErrorT: Clone,

fn default() -> Self

Returns the “default value” for a type.