NetworkNode.cpp

#include "Domain.h"

void NetworkNode::PDDLPrint( std::ostream & s, unsigned indent, const TokenStruct< std::string > & ts, Domain & d ) {
	s << "( :CONCURRENCY-CONSTRAINT " << name << "\n";

	s << "  :PARAMETERS ";

	TokenStruct< std::string > nstruct;

	printParams( 0, s, nstruct, d );

	s << "  :BOUNDS ( " << lower << " ";
	if ( upper < 1000000 ) s << upper;
	else s << "INF";
	s << " )\n";

	s << "  :ACTIONS (";
	for ( unsigned i = 0; i < templates.size(); ++i ) {
		s << " ( " << templates[i]->name;
		for ( unsigned j = 0; j < templates[i]->params.size(); ++j )
			s << " " << templates[i]->params[j];
		s << " )";
	}
	s << " )\n";
	s << ")\n";
}

void NetworkNode::parse( Filereader & f, TokenStruct< std::string > & ts, Domain & d ) {
	f.next();
	f.assert( ":PARAMETERS" );
	f.assert( "(" );
	TokenStruct< std::string > nstruct = f.parseTypedList( true, d.types );
	params = d.convertTypes( nstruct.types );
		
	f.next();
	f.assert( ":BOUNDS" );
	f.assert( "(" );
	std::string lo = f.getToken();
	std::istringstream( lo ) >> lower;
	f.next();
	std::string hi = f.getToken();
	if ( hi == "INF" ) upper = 1000000;
	else std::istringstream( hi ) >> upper;
	f.next();
	f.assert( ")" );

	f.assert( ":ACTIONS" );
	f.assert( "(" );
	while ( f.getChar() != ')' ) {
		f.assert( "(" );
		int action = d.actions.index( f.getToken( d.actions ) );
		f.next();

		ParamCond * c = new Lifted( d.actions[action]->name );
		c->params.resize( params.size() );
		for ( unsigned i = 0; i < params.size(); ++i ) {
			std::string index = f.getToken();
			std::istringstream( index ) >> c->params[i];
			f.next();
		}
		templates.push_back( c );
		f.assert( ")" );
	}

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