void bes2cwi(Iter first, Iter last, std::ostream& out) { std::map<typename core::term_traits<typename Iter::value_type::term_type>::string_type, size_t> variables; int index = 1; for (Iter i = first; i != last; ++i) { variables[i->variable().name()] = index++; } for (Iter i = first; i != last; ++i) { out << (i->symbol().is_mu() ? "min " : "max ") << "X" << variables[i->variable().name()] << "="; bes_expression2cwi(i->formula(), variables, out); out << std::endl; } }