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)