Struct EtaRewriteEngine 

pub struct EtaRewriteEngine { /* private fields */ }

A simple eta rewrite engine that applies a set of rules iteratively.

Implementations

impl EtaRewriteEngine

pub fn new(proj_rules: ProjectionRewriteSet, max_steps: u32) -> Self

Create a new engine with the given rule set.

pub fn steps_taken(&self) -> u32

Return the number of steps taken so far.

pub fn is_exhausted(&self) -> bool

Return whether the engine has reached its step limit.

pub fn apply_proj(&mut self, projector: &str) -> Option<u32>

Try to apply a projection rule for the given projector name. Returns Some(field_index) if a rule applies, else None.

pub fn reset(&mut self)

Reset the step counter.

pub fn rule_count(&self) -> usize

Return the number of projection rules available.