Struct mz_transform::Fixpoint

pub struct Fixpoint {
    pub(crate) name: &'static str,
    pub(crate) transforms: Vec<Box<dyn Transform>>,
    pub(crate) limit: usize,
}

A sequence of transformations iterated some number of times.

Fields

name: &'static str

transforms: Vec<Box<dyn Transform>>

limit: usize

Trait Implementations

impl Debug for Fixpoint

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

Formats the value using the given formatter.

impl Transform for Fixpoint

fn recursion_safe(&self) -> bool

Indicates if the transform can be safely applied to expressions containing LetRec AST nodes.

fn transform(
    &self,
    relation: &mut MirRelationExpr,
    args: TransformArgs<'_>
) -> Result<(), TransformError>

Transform a relation into a functionally equivalent relation.

fn debug(&self) -> String

A string describing the transform.