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

deferred class
	TREE_LEAF [G]

inherit
	PAR_TREE [G]

feature
	list: separate SPECIAL [G]

	compute_agents (init: G; trns: FUNCTION [G, G]; comb: FUNCTION [G,G, G])
		do
			compute_agents_imp (init, trns, comb, list)
		end

	compute_agents_imp (init: G; trns: FUNCTION [G, G]; comb: FUNCTION [G,G, G]; a_list: separate SPECIAL [G])
		local
			i: INTEGER
		do
			from
				i := 0
				comp_result := init
			until
				i >= a_list.count
			loop
				comp_result := comb.item ([comp_result,
										trns.item ([a_list[i]])
																])
				i := i + 1
			end
		end

	compute (init: G)
		do
			compute_imp (init, list)
		end

	compute_imp (init: G; a_list: separate SPECIAL [G])
		local
			i: INTEGER
		do
			from
				i := 0
				comp_result := init
			until
				i >= a_list.count
			loop
				comp_result := combine (comp_result, trans (a_list[i]))
				i := i + 1
			end
		end

end