indexing
	description: "[
					KNF objects reppresent a and-list.

					This class is part of the XAE Extended Adventure Engine Project.
				  ]"
				  
	author: "Adrian Rabenseifner, radrian@student.ethz.ch"
	date: "$Date$"
	revision: "$Revision$"

class
	KNF
inherit
	CONDITION_LIST
create
	make

feature {NONE} -- Initialization

	make is
			-- Initialize `Current'.
		do
			init
		end

feature -- Access

		satisfied(context: CONTEXT): BOOLEAN is
			-- Type your comment here
		do
			-- KNF empty -> true
			result := true
			
			if list.count > 0 then
				-- fold (&&) list
				result := true
				from
					list.start
				until
					list.after
				loop
					result := result and list.item.satisfied(context)
					list.forth
				end
			end
		end

feature {NONE} -- Implementation

end -- class KNF