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

#include "tops/common/Printable.hpp"

#include <list>
#include <set>

#include <boost/shared_ptr.hpp>

namespace tops {

	class AttributeOfFact;
	class UnificatedAttributes;
	typedef boost::shared_ptr<UnificatedAttributes> UnificatedAttributesPtr;
	class WMElement;

	class UnificatedElement;
	typedef boost::shared_ptr<UnificatedElement> UnificatedElementPtr;

	/**
	 * 単一化済み要素です。
	 *
	 * @author トゥイー
	 */
	class UnificatedElement : public Printable {
	private:
		WMElement& m_element;

		UnificatedAttributesPtr m_attributes;

	public:
		UnificatedElement(WMElement& element, const UnificatedAttributesPtr& attributes) :
		m_element(element), m_attributes(attributes) {
		}

	public:
		WMElement& getWMElement() {
			return m_element;
		}

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

}  // namespace tops

#endif
