mcrl2/pbes/pbes_rewriter_type.h

Include file:

#include "mcrl2/pbes/pbes_rewriter_type.h"

add your file description here.

Enumerated types

type mcrl2::pbes_system::pbes_rewriter_type

Values:

• simplify

• quantifier_all
• quantifier_finite
• quantifier_inside
• quantifier_one_point
• prover
• pfnf
• ppg
• bqnf_quantifier

An enumerated type for the available pbes rewriters.

Functions

std::string mcrl2::pbes_system::description(const pbes_rewriter_type type)

Returns a description of a pbes rewriter.

std::ostream &mcrl2::pbes_system::operator<<(std::ostream &os, const pbes_rewriter_type t)

std::istream &mcrl2::pbes_system::operator>>(std::istream &is, pbes_rewriter_type &t)

Stream operator for rewriter type.

Parameters:

• is An input stream
• t A rewriter type

Returns: The input stream

pbes_rewriter_type mcrl2::pbes_system::parse_pbes_rewriter_type(const std::string &type)

Parses a pbes rewriter type.

std::string mcrl2::pbes_system::print_pbes_rewriter_type(const pbes_rewriter_type type)

Prints a pbes rewriter type.