util.hh

#ifndef UTIL_H
#define UTIL_H

/// utility functions for cl

// convert an integer to string
string itostring(int x);

/// convert a string to an integer
int stringtoint(string s);

/// convert a string to lowercase
string lowercase(string s);

#endif