def normalize(self, formula):
""" Returns the formula normalized to the current Formula Manager.
This method is useful to contextualize a formula coming from another
formula manager.
E.g., f_a is defined with the FormulaManager a, and we want to obtain f_b
that is the formula f_a expressed on the FormulaManager b :
f_b = b.normalize(f_a)
"""
# TODO: name clash with formula normalization
# TODO: Move this out of the manager and into ad-hoc function
normalizer = IdentityDagWalker(self.env)
return normalizer.walk(formula)
def normalize(self, formula):
""" Returns the formula normalized to the current Formula Manager.
This method is useful to contextualize a formula coming from another
formula manager.
E.g., f_a is defined with the FormulaManager a, and we want to obtain f_b
that is the formula f_a expressed on the FormulaManager b :
f_b = b.normalize(f_a)
"""
# TODO: name clash with formula normalization
# TODO: Move this out of the manager and into ad-hoc function
normalizer = IdentityDagWalker(self.env)
return normalizer.walk(formula)
