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

#include "tops/common/Printable.hpp"

#include "tops/value/ConstantAndVariables.hpp"
#include "tops/value/ValueAndVariables.hpp"

#include <boost/shared_ptr.hpp>

namespace tops {

	class Constant;
	typedef boost::shared_ptr<Constant> ConstantPtr;
	class ConstantAndVariables;
	class InstantiableValue;
	typedef boost::shared_ptr<InstantiableValue> InstantiableValuePtr;
	class ValueAndVariables;
	class Variables;

	class Value;
	typedef boost::shared_ptr<Value> ValuePtr;

	/**
	 * すべての値のルートクラスです。
	 *
	 * @author トゥイー
	 */
	class Value : public Printable {
	public:
		/**
		 * 指定された定数と単一化を行います。
		 *
		 * @param constant 単一化対象となる定数を指定します。
		 * @param variables 単一化に使用する変数表を指定します。
		 *
		 * @return 単一化に成功した場合はtrueを、失敗した場合はfalseを返します。
		 */
		virtual bool unificate(const Constant& constant, Variables& variables) const=0;

		/**
		 * 値を具体化します。
		 *
		 * @param variables 具体化に使用する変数表を指定します。
		 */
		virtual ConstantPtr instantiate(const Variables& variables) const=0;

	public:
		/**
		 * 比較演算子をサポートするためのヘルパーメソッドです。
		 */
		ValueAndVariables operator[](const Variables& variables) const;

		// ConditionVariable に由来する比較演算子群です。
		// 未定義の場合は全て false を返すように定義してあります。

		virtual bool operator==(const ConstantAndVariables& a) const;
		virtual bool operator!=(const ConstantAndVariables& a) const;
		virtual bool operator< (const ConstantAndVariables& a) const;
		virtual bool operator> (const ConstantAndVariables& a) const;
		virtual bool operator<=(const ConstantAndVariables& a) const;
		virtual bool operator>=(const ConstantAndVariables& a) const;

		virtual bool operator==(const ValueAndVariables& a) const;
		virtual bool operator!=(const ValueAndVariables& a) const;
		virtual bool operator< (const ValueAndVariables& a) const;
		virtual bool operator> (const ValueAndVariables& a) const;
		virtual bool operator<=(const ValueAndVariables& a) const;
		virtual bool operator>=(const ValueAndVariables& a) const;
	};

}  // namespace tops

#endif
