Condition.h

#ifndef _CONDITION_H_
#define _CONDITION_H_

#include "Basic.h"
#include "Filereader.h"
#include "Type.h"

class Condition {

public:

	virtual ~Condition() {}

	virtual void print( std::ostream & stream ) const = 0;

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

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

	virtual void SHOPparse( Filereader & f, TokenStruct< std::string > & ts, Domain & d ) = 0;

	virtual void addParams( int m, unsigned n ) = 0;

	virtual Condition * copy( Domain & d ) = 0;
};

inline std::ostream & operator<<( std::ostream & stream, const Condition * c ) {
	c->print( stream );
	return stream;
}

typedef std::vector< Condition * > CondVec;

Condition * createCondition( Filereader & f, Domain & d );

Condition * createSHOPCondition( Filereader & f, Domain & d );

#endif