Searched refs:fm_model_converter (Results 1 – 2 of 2) sorted by relevance
42 struct fm_model_converter : public model_converter { struct in fm_tactic165 fm_model_converter(ast_manager & _m):m(_m) {} in fm_model_converter() argument167 ~fm_model_converter() override { in ~fm_model_converter() argument266 fm_model_converter * res = alloc(fm_model_converter, to_m); in translate()390 ref<fm_model_converter> m_mc;1578 m_mc = alloc(fm_model_converter, m); in operator ()()
42 struct fm_model_converter : public model_converter { struct in fm_tactic162 fm_model_converter(ast_manager & _m):m(_m) {} in fm_model_converter() argument164 ~fm_model_converter() override { in ~fm_model_converter() argument267 fm_model_converter * res = alloc(fm_model_converter, to_m); in translate()393 ref<fm_model_converter> m_mc;1581 m_mc = alloc(fm_model_converter, m); in operator ()()