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

#include "tops/UnificatedElements.hpp"
#include "tops/common/Printable.hpp"

#include <string>

#include <boost/shared_ptr.hpp>

namespace tops {

	class HistoryElement;
	typedef boost::shared_ptr<HistoryElement> HistoryElementPtr;

	class ProductionRule;

	/**
	 * 履歴要素です。
	 *
	 * @author トゥイー
	 */
	class HistoryElement : public Printable {
	private:
		/**
		 * プロダクション規則です。
		 */
		ProductionRule& m_sourceRule;

		/**
		 * ワーキングメモリ要素列です。
		 */
		UnificatedElements m_sourceElements;

	public:
		/**
		 * 履歴要素を構築します。
		 */
		HistoryElement(ProductionRule& sourceRule, const UnificatedElements& sourceElements);

	public:
		/**
		 * 等値判断を行います。
		 *
		 * @param element 等値判断対象となる履歴要素を指定します。
		 *
		 * @return 等値ならtrueを、そうじゃないならfalseを返します。
		 */
		bool equals(const HistoryElement& element) const;

	public:
		/**
		 * ストリームに出力します。
		 */
		void print(std::ostream& stream) const;
	};

}  // namespace tops

#endif
