indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

deferred class
	EM_INTERPOLATOR

feature
	interpolate(a, b: DOUBLE; x: DOUBLE): DOUBLE is
			-- interpolate bewtween a and b at x (x = 0.0 is at a, x = 1.0 is at b)
		require
			valid_x: x >= 0.0 and x <= 1.0
		deferred
		ensure
			value_between_a_and_b: a >= b implies Result <= a and Result >= b
			value_between_a_and_b: a <= b implies Result >= a and Result <= b
		end

end