Struct RewriteOpts 

pub struct RewriteOpts {
    pub max_iterations: usize,
    pub strategy: RewriteStrategy,
}

Options controlling Ex::rewrite_with.

Examples

use symplex::macros::{RewriteOpts, RewriteStrategy};

let opts = RewriteOpts { max_iterations: 5, strategy: RewriteStrategy::TopDown };
assert_eq!(opts.max_iterations, 5);
assert_eq!(RewriteOpts::default().strategy, RewriteStrategy::BottomUp);

Fields

max_iterations: usize

Maximum number of full passes over the expression (default 50). Rewriting stops early as soon as a pass changes nothing.

strategy: RewriteStrategy

Traversal order (default RewriteStrategy::BottomUp).

Implementations

impl RewriteOpts

pub fn single_pass() -> Self

Exactly one pass, bottom-up.

pub fn max_iterations(self, n: usize) -> Self

Builder: set the iteration cap.

pub fn strategy(self, strategy: RewriteStrategy) -> Self

Builder: set the traversal strategy.

Trait Implementations

impl Clone for RewriteOpts

fn clone(&self) -> RewriteOpts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RewriteOpts

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

Formats the value using the given formatter.

impl Default for RewriteOpts

fn default() -> Self

Returns the “default value” for a type.

impl Eq for RewriteOpts

impl PartialEq for RewriteOpts

fn eq(&self, other: &RewriteOpts) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for RewriteOpts