mcrl2/pbes/absinthe_strategy.h

Include file:

#include "mcrl2/pbes/absinthe_strategy.h"

add your file description here.

Enumerated types

type mcrl2::pbes_system::absinthe_strategy

Values:

  • absinthe_over

  • absinthe_under

The approximation strategies of the absinthe tool.

Functions

std::string mcrl2::pbes_system::description(const absinthe_strategy strategy)

Prints an absinthe strategy.

std::ostream &mcrl2::pbes_system::operator<<(std::ostream &os, const absinthe_strategy strategy)
std::istream &mcrl2::pbes_system::operator>>(std::istream &is, absinthe_strategy &strategy)
absinthe_strategy mcrl2::pbes_system::parse_absinthe_strategy(const std::string &strategy)

Parses an absinthe strategy.

std::string mcrl2::pbes_system::print_absinthe_strategy(const absinthe_strategy strategy)

Prints an absinthe strategy.