/**
 * 最初の著者:: トゥイー
 * リポジトリ情報:: $Id: RuleInterpreter.hpp 11 2011-05-14 02:11:18Z yutaka_at_home $
 * 著作権:: Copyright (C) Ownway.info, 2011. All rights reserved.
 * ライセンス:: CPL(Common Public Licence)
 */

#ifndef _TOPS_RULE_INTERPRETER_HPP_
#define _TOPS_RULE_INTERPRETER_HPP_

#include "tops/Instance.hpp"

#include <boost/shared_ptr.hpp>

namespace tops {

	class ConflictSet;
	class ConflictResolutionStrategy;
	typedef boost::shared_ptr<ConflictResolutionStrategy> ConflictResolutionStrategyPtr;
	class ProductionSystem;

	class RuleInterpreter;
	typedef boost::shared_ptr<RuleInterpreter> RuleInterpreterPtr;

	/**
	 * ルールインタープリタです。
	 *
	 * @author トゥイー
	 */
	class RuleInterpreter {
	protected:
		/**
		 * このルールインタプリタを所有しているプロダクションシステムです。
		 */
		ProductionSystem& owner_;

	public:
		/**
		 * ルールインタプリタを構築します。
		 *
		 * @param owner このルールインタプリタを所有するプロダクションシステムを指定します。
		 */
		RuleInterpreter(ProductionSystem& owner) : owner_(owner) {
		}

		/**
		 * ルールインタプリタを破棄します。
		 */
		virtual ~RuleInterpreter() {
		}

	public:
		/**
		 * 競合解消を行うための戦略を決定します。
		 */
		virtual ConflictResolutionStrategyPtr getStrategy() = 0;

	public:
		/**
		 * 競合集合から具体的な例化を実行します。
		 */
		bool instantiate(ConflictSet& conflictSet, InstancePtr& result);
	};

}  // namespace tops

#endif
