convert_bool_literal.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Statement List Language Conversion
 
Author: Matthias Weiss, matthias.weiss@diffblue.com
 
\*******************************************************************/
 
 
#include "convert_bool_literal.h"
 
#include <algorithm>
#include <util/std_types.h>
// Needed for back_inserter in Visual Studio.
#include <iterator>
 
constant_exprt convert_bool_literal(const std::string &src)
{
  std::string copy;
  transform(begin(src), end(src), back_inserter(copy), ::tolower);
  bool_typet type;
  return constant_exprt(copy, type);
}