/**
 * 最初の著者:: トゥイー
 * リポジトリ情報:: $Id: ConflictSet.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_CONFLICT_SET_HPP_
#define _TOPS_CONFLICT_SET_HPP_

#include "tops/RuleBase.hpp"
#include "tops/value/Variables.hpp"

#include <boost/shared_ptr.hpp>

namespace tops {

	class Instance;
	typedef boost::shared_ptr<Instance> InstancePtr;
	class ProductionSystem;
	class Unificator;
	typedef boost::shared_ptr<Unificator> UnificatorPtr;

	/**
	 * 競合集合です。
	 *
	 * @author トゥイー
	 */
	class ConflictSet {
	private:
		typedef RuleBase::iterator iterator;
		typedef RuleBase::const_iterator const_iterator;

		/**
		 * この競合集合を所有しているプロダクションシステムです。
		 */
		ProductionSystem& m_owner;

		/**
		 * 現在の反復子です。
		 */
		const_iterator m_i;

		/**
		 * 単一化に使用した変数表です。
		 */
		Variables m_variables;

		/**
		 * 現在の単一化反復子です。
		 */
		UnificatorPtr m_unificator;

	public:
		/**
		 * 指定したプロダクションシステムの競合集合を構築します。
		 */
		ConflictSet(ProductionSystem& owner);

	private:
		/**
		 * 単一化反復子を構築します。
		 */
		UnificatorPtr createUnificator();

	public:
		/**
		 * インスタンスを一つ取得します。
		 *
		 * @return 成功した場合はtrueを、失敗した場合はfalseを返します。
		 */
		bool instantiate(InstancePtr& instance);
	};

}  // namespace tops

#endif
