kdrag.rewrite.rewrite_once

kdrag.rewrite.rewrite_once(t: ExprRef, rules: list[RewriteRule], trace=None) → ExprRef

Sweep through term once performing rewrites.

>>> x = smt.Real("x")
>>> rule = RewriteRule([x], x**2, x*x)
>>> rewrite_once((x**2)**2, [rule])
x*x*x*x

Parameters:

Return type:

ExprRef