Program Listing for File Utils.h
↰ Return to documentation for file (src/VALfiles/Utils.h
)
/************************************************************************
* Copyright 2008, Strathclyde Planning Group,
* Department of Computer and Information Sciences,
* University of Strathclyde, Glasgow, UK
* http://planning.cis.strath.ac.uk/
*
* Maria Fox, Richard Howey and Derek Long - VAL
* Stephen Cresswell - PDDL Parser
*
* This file is part of VAL, the PDDL validator.
*
* VAL is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 2 of the License, or
* (at your option) any later version.
*
* VAL is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with VAL. If not, see <http://www.gnu.org/licenses/>.
*
************************************************************************/
/*-----------------------------------------------------------------------------
VAL - The Automatic Plan Validator for PDDL+
$Date: 2009-02-05 10:50:24 $
$Revision: 1.2 $
Maria Fox, Richard Howey and Derek Long - PDDL+ and VAL
Stephen Cresswell - PDDL Parser
maria.fox@cis.strath.ac.uk
derek.long@cis.strath.ac.uk
stephen.cresswell@cis.strath.ac.uk
richard.howey@cis.strath.ac.uk
By releasing this code we imply no warranty as to its reliability
and its use is entirely at your own risk.
Strathclyde Planning Group
http://planning.cis.strath.ac.uk
----------------------------------------------------------------------------*/
#include <sstream>
#include <string>
#ifndef __VALUTILS
#define __VALUTILS
using std::ostringstream;
using std::string;
namespace VAL {
template <typename T>
struct ToStringer {
string operator()(T d)
{
ostringstream aStringStream;
aStringStream << d;
return aStringStream.str();
};
};
template <typename T>
struct ToStringer<T *> {
string operator()(T * d)
{
ostringstream aStringStream;
aStringStream << *d;
return aStringStream.str();
};
};
template<typename T>
string toString(T d)
{
ToStringer<T> ts;
return ts(d);
};
void replaceSubStrings(string & s,string s1,string s2);
void latexString(string & s);
};
#endif