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

#include "tops/attribute/AttributeOfCondition.hpp"
#include "tops/attribute/Attributes.hpp"

#include <string>
#include <vector>

namespace tops {

	class AttributeOfFact;
	class AttributesOfFact;
	class UnificatedAttributes;
	typedef boost::shared_ptr<UnificatedAttributes> UnificatedAttributesPtr;
	class Value;
	typedef boost::shared_ptr<Value> ValuePtr;
	class Variables;

	/**
	 * 条件の属性列です。
	 *
	 * @author トゥイー
	 */
	class AttributesOfCondition : public Attributes {
	private:
		typedef std::vector<AttributeOfCondition> AttributeVector;
		typedef AttributeVector::iterator iterator;
		typedef AttributeVector::const_iterator const_iterator;

		/**
		 * 属性列です。
		 */
		AttributeVector m_attributes;

	public:
		/**
		 * サイズを取得します。
		 */
		size_t size() const {
			return m_attributes.size();
		}

		/**
		 * 属性を取得します。
		 */
		const AttributeOfCondition& operator[](size_t index) const;

		/**
		 * 属性を追加します。
		 * 既に同名の属性が登録されている場合は失敗します。
		 *
		 * @param name 属性名を指定します。
		 * @param value 属性値となる変数を指定します。
		 *
		 * @return 属性の追加に成功した場合はその属性を、失敗した場合はNULLを返します。
		 */
		bool add(const std::string& name, const ValuePtr& value);

	public:
		/**
		 * 指定された属性番号に対して、指定された事実の属性列と単一化を行います。
		 *
		 * @param index 属性番号を指定します。
		 * @param attributes 単一化対象となる事実の属性列を指定します。
		 * @param variables 単一化に使用する変数表を指定します。
		 *
		 * @return 単一化に成功した場合は単一化対象となった属性を、失敗したらNULLを返します。
		 */
		AttributeOfFact* unificate(size_t index, const AttributesOfFact& attributes, Variables& variables);

	public:
		/**
		 * 指定された事実の属性列と単一化を行います。
		 *
		 * @param attributes 単一化対象となる事実の属性列を指定します。
		 * @param variables 単一化に使用する変数表を指定します。
		 *
		 * @return 単一化に成功した場合は単一化済み属性列を、失敗した場合はNULLを返します。
		 */
		UnificatedAttributesPtr unificate(const AttributesOfFact& attributes, Variables& variables);

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

}  // namespace tops

#endif
