mcrl2/pbes/pbesinst_strategy.h

Include file:

#include "mcrl2/pbes/pbesinst_strategy.h"

add your file description here.

Enumerated types

type mcrl2::pbes_system::pbesinst_strategy

Values:

• pbesinst_lazy_strategy

• pbesinst_alternative_lazy_strategy
• pbesinst_finite_strategy

pbesinst transformation strategies

Functions

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

Returns a string representation of a pbesinst transformation strategy.

std::ostream &mcrl2::pbes_system::operator<<(std::ostream &os, const pbesinst_strategy strategy)

std::istream &mcrl2::pbes_system::operator>>(std::istream &is, pbesinst_strategy &s)

pbesinst_strategy mcrl2::pbes_system::parse_pbesinst_strategy(const std::string &s)

Parse a pbesinst transformation strategy.

std::string mcrl2::pbes_system::print_pbesinst_strategy(const pbesinst_strategy strategy)

Returns a string representation of a pbesinst transformation strategy.