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.