C++ (Cpp) Iter::formula Exemples

Exemple #1

Fichier : cwi.cpp Projet : gijskant/mcrl2-pmc

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;
  }
}