@@ -33,6 +33,8 @@ namespace mnd
Node* newB;
};
}
+
+ ir::Formula expand(const mnd::IterationFormula& fmla);
@@ -3,3 +3,20 @@
using namespace mnd;
+namespace mnd
+{
+ struct ConvertVisitor
+ {
+ util::Arena<ir::Node>& arena;
+ };
+ ir::Formula expand(const mnd::IterationFormula& fmla)
+ ir::Formula formula;
+ }
+}