plasp/include/plasp/sas/Description.h

#ifndef __PLASP__SAS__DESCRIPTION_H
#define __PLASP__SAS__DESCRIPTION_H

#include <experimental/filesystem>
#include <iosfwd>
#include <memory>
#include <vector>

#include <tokenize/Tokenizer.h>

#include <plasp/sas/AxiomRule.h>
#include <plasp/sas/Goal.h>
#include <plasp/sas/InitialState.h>
#include <plasp/sas/MutexGroup.h>
#include <plasp/sas/Operator.h>
#include <plasp/sas/Variable.h>

namespace plasp
{
namespace sas
{

////////////////////////////////////////////////////////////////////////////////////////////////////
//
// Description
//
////////////////////////////////////////////////////////////////////////////////////////////////////

class Description
{
	public:
		static Description fromTokenizer(tokenize::Tokenizer<> &&tokenizer);
		static Description fromStream(std::istream &istream);
		static Description fromFile(const std::experimental::filesystem::path &path);

	public:
		bool usesActionCosts() const;
		const Variables &variables() const;
		const MutexGroups &mutexGroups() const;
		const InitialState &initialState() const;
		const Goal &goal() const;
		const Operators &operators() const;
		const AxiomRules &axiomRules() const;

		bool usesAxiomRules() const;
		bool usesConditionalEffects() const;

		bool hasRequirements() const;

	private:
		Description();

		void parseContent(tokenize::Tokenizer<> &tokenizer);

		void parseVersionSection(tokenize::Tokenizer<> &tokenizer) const;
		void parseMetricSection(tokenize::Tokenizer<> &tokenizer);
		void parseVariablesSection(tokenize::Tokenizer<> &tokenizer);
		void parseMutexSection(tokenize::Tokenizer<> &tokenizer);
		void parseInitialStateSection(tokenize::Tokenizer<> &tokenizer);
		void parseGoalSection(tokenize::Tokenizer<> &tokenizer);
		void parseOperatorSection(tokenize::Tokenizer<> &tokenizer);
		void parseAxiomSection(tokenize::Tokenizer<> &tokenizer);

		bool m_usesActionCosts;

		Variables m_variables;
		MutexGroups m_mutexGroups;
		std::unique_ptr<InitialState> m_initialState;
		std::unique_ptr<Goal> m_goal;
		Operators m_operators;
		AxiomRules m_axiomRules;
};

////////////////////////////////////////////////////////////////////////////////////////////////////

}
}

#endif