Searched refs:get_nex_creator (Results 1 – 4 of 4) sorted by relevance
44 nex_creator& get_nex_creator() { return m_nex_creator; } in get_nex_creator() function
75 t = to_sum(cn.get_nex_creator().simplify(t)); in test_cn_on_expr()
75 t = to_sum(cn.get_nex_creator().simplify(t)); in spki()