mcrl2/bes/remove_level.h

Include file:

#include "mcrl2/bes/remove_level.h"

BES variable remove level when generating a BES from a PBES.

Enumerated types

type mcrl2::bes::remove_level

Values:

  • none

  • some

  • all

BES variable remove level when generating a BES from a PBES.

Functions

std::string mcrl2::bes::description(const remove_level s)
std::ostream &mcrl2::bes::operator<<(std::ostream &os, const remove_level s)
std::istream &mcrl2::bes::operator>>(std::istream &is, remove_level &level)
remove_level mcrl2::bes::parse_remove_level(const std::string &s)
std::string mcrl2::bes::print_remove_level(const remove_level s)