note
	description: "Summary description for {IR_CONSTANTS}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	IR_CONSTANTS

feature -- Default boost

	default_boost_value: DOUBLE = 1.0

	default_boost_value_for_written_contracts: DOUBLE = 3.0

end