Derived.h

#ifndef _DERIVED_H_
#define _DERIVED_H_

#include "Lifted.h"

class Derived : public Lifted {

public:

	Condition * cond;
	Lifted * lifted;

	Derived()
		: Lifted(), cond( 0 ), lifted( 0 ) {}

	Derived( const std::string s )
		: Lifted( s ), cond( 0 ), lifted( 0 ) {}

	Derived( const Derived * z, Domain & d );

	void print( std::ostream & stream ) const {
		stream << "Derived ";
		ParamCond::print( stream );
		if ( cond ) cond->print( stream );
	}

	void PDDLPrint( std::ostream & s, unsigned indent, const TokenStruct< std::string > & ts, Domain & d );

	void parse( Filereader & f, TokenStruct< std::string > & ts, Domain & d );

	void addParams( int m, unsigned n ) {
		for ( unsigned i = 0; i < params.size(); ++i )
			if ( params[i] >= m ) params[i] += n;
	}

	Condition * copy( Domain & d ) {
		return new Derived( this, d );
	}

};

#endif