mcrl2/data/rewrite_strategy.h

Include file:

#include "mcrl2/data/rewrite_strategy.h"

Enumerated types

type rewrite_strategy

Values:

  • jitty
  • jitty_prover JITty. JITty + Prover

The strategy of the rewriter.

Functions

std::string mcrl2::data::description(const rewrite_strategy s)

standard descriptions for rewrite strategies

std::ostream &mcrl2::data::operator<<(std::ostream &os, const rewrite_strategy s)

standard conversion from rewrite strategy to stream

std::istream &mcrl2::data::operator>>(std::istream &is, rewrite_strategy &s)

standard conversion from stream to rewrite strategy

rewrite_strategy mcrl2::data::parse_rewrite_strategy(const std::string &s)

standard conversion from string to rewrite strategy

std::string mcrl2::data::pp(const rewrite_strategy s)

Pretty prints a rewrite strategy.

Parameters:

  • s A rewrite strategy.