mcrl2/lps/lps_rewriter_type.h

Include file:

#include "mcrl2/lps/lps_rewriter_type.h"

add your file description here.

Enumerated types

type lps_rewriter_type

Values:

  • simplify
  • quantifier_one_point

An enumerated type for the available lps rewriters.

Functions

std::string mcrl2::lps::description(const lps_rewriter_type type)

Returns a description of a lps rewriter.

std::ostream &mcrl2::lps::operator<<(std::ostream &os, const lps_rewriter_type t)
std::istream &mcrl2::lps::operator>>(std::istream &is, lps_rewriter_type &t)

Stream operator for rewriter type.

Parameters:

  • is An input stream
  • t A rewriter type

Returns: The input stream

lps_rewriter_type mcrl2::lps::parse_lps_rewriter_type(const std::string &type)

Parses a lps rewriter type.

std::string mcrl2::lps::print_lps_rewriter_type(const lps_rewriter_type type)

Prints a lps rewriter type.