GroundFunc.cpp

#include "Domain.h"

template <>
void GroundFunc<double>::PDDLPrint( std::ostream & s, unsigned indent, const TokenStruct< std::string > & ts, Domain & d ) {
	tabindent( s, indent );
	s << "( = ";
	TypeGround::PDDLPrint( s, 0, ts, d );
	s << " " << ( int )value << " )";
}

template <>
void GroundFunc<int>::PDDLPrint( std::ostream & s, unsigned indent, const TokenStruct< std::string > & ts, Domain & d ) {
	tabindent( s, indent );
	s << "( = ";
	TypeGround::PDDLPrint( s, 0, ts, d );
	s << " " << d.types[((Function *)lifted)->returnType]->object( value ) << " )";
}

template <>
void GroundFunc<double>::parse( Filereader & f, TokenStruct< std::string > & ts, Domain & d ) {
	TypeGround::parse( f, ts, d );
	
	f.next();
	std::string s = f.getToken();
	std::istringstream i( s );
	if ( !( i >> value ) ) f.tokenExit( s );

	f.next();
	f.assert( ")" );
}

template <>
void GroundFunc<int>::parse( Filereader & f, TokenStruct< std::string > & ts, Domain & d ) {
	TypeGround::parse( f, ts, d );
	
	f.next();
	std::string s = f.getToken();
	std::pair< bool, unsigned > p = d.types[((Function *)lifted)->returnType]->parseObject( s );
	if ( p.first ) value = p.second;
	else {
		std::pair< bool, int > q = d.types[((Function *)lifted)->returnType]->parseConstant( s );
		if ( q.first ) value = q.second;
		else f.tokenExit( s );
	}

	f.next();
	f.assert( ")" );
}