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.