Skip to content

Fixpoint

Fixpoint dataclass 

Fixpoint(rule: RewriteRule, max_iter: int = 32)

Bases: RewriteRule

Apply a rewrite rule until a fixpoint is reached.

The rewrite rule is applied to the node until the rewrite rule does not do anything.

Parameters
  • map: The rewrite rule to apply.
  • max_iter: The maximum number of iterations to apply the rewrite rule. Default is 32.