note
	description: "Mathematical models of any kind."
	author: "Nadia Polikarpova"
	date: "$Date$"
	revision: "$Revision$"

deferred class
	MML_MODEL

feature -- Comparison
	is_model_equal alias "|=|" (other: MML_MODEL): BOOLEAN
			-- Is this model mathematically equal to `other'?
		deferred
		end

	frozen model_equals (v1, v2: ANY): BOOLEAN
			-- Are `v1' and `v2' mathematically equal?
			-- If they are models use model eqality, otherwise reference equality
		do
			if attached {MML_MODEL} v1 as m1 and attached {MML_MODEL} v2 as m2 then
				Result := m1 |=| m2
			else
				Result := v1 ~ v2
			end
		end

feature -- Framing
	relevant (object: ANY): BOOLEAN
			-- True (indicated that model depends n `object')
		do
			Result := True
		end
end