rewrite_strategy.h

Go to the documentation of this file.

#ifndef MCRL2_DATA_REWRITE_STRATEGY_H
#define MCRL2_DATA_REWRITE_STRATEGY_H
 
#include "mcrl2/utilities/exception.h"
#include <string>
 
namespace mcrl2
{
namespace data
{
 
enum rewrite_strategy
{
  jitty,                      
#ifdef MCRL2_ENABLE_JITTYC
  jitty_compiling,            
  jitty_prover,               
  jitty_compiling_prover      
#else
  jitty_prover                
#endif
};
 
inline
rewrite_strategy parse_rewrite_strategy(const std::string& s)
{
  if(s == "jitty")
    return jitty;
  else if (s == "jittyp")
    return jitty_prover;
 
#ifdef MCRL2_ENABLE_JITTYC
  if (s == "jittyc")
    return jitty_compiling;
  else if (s == "jittycp")
    return jitty_compiling_prover;
#endif //MCRL2_ENABLE_JITTYC
 
  throw mcrl2::runtime_error("unknown rewrite strategy " + s);
}
 
inline std::istream& operator>>(std::istream& is, rewrite_strategy& s)
{
  try
  {
    std::stringbuf buffer;
    is >> &buffer;
    s = parse_rewrite_strategy(buffer.str());
  }
  catch(mcrl2::runtime_error&)
  {
    is.setstate(std::ios_base::failbit);
  }
 
  return is;
}
 
inline std::string pp(const rewrite_strategy s)
{
  switch (s)
  {
    case jitty: return "jitty";
#ifdef MCRL2_ENABLE_JITTYC
    case jitty_compiling: return "jittyc";
#endif
    case jitty_prover: return "jittyp";
#ifdef MCRL2_ENABLE_JITTYC
    case jitty_compiling_prover: return "jittycp";
#endif
    default: throw mcrl2::runtime_error("unknown rewrite_strategy");
  }
}
 
inline std::ostream& operator<<(std::ostream& os, const rewrite_strategy s)
{
  os << pp(s);
  return os;
}
 
inline std::string description(const rewrite_strategy s)
{
  switch (s)
  {
    case jitty: return "jitty rewriting";
#ifdef MCRL2_ENABLE_JITTYC
    case jitty_compiling: return "compiled jitty rewriting";
#endif
    case jitty_prover: return "jitty rewriting with prover";
#ifdef MCRL2_ENABLE_JITTYC
    case jitty_compiling_prover: return "compiled jitty rewriting with prover";
#endif
    default: throw mcrl2::runtime_error("unknown rewrite_strategy");
  }
}
 
} // namespace data
} // namespace mcrl2
 
#endif // MCRL2_DATA_REWRITE_STRATEGY_H