indexing
	description: 
		"[
			processor for knf node
		 ]"
		
	author: "Steiner Fabrizio"
	date: "$Date$"
	revision: "$Revision$"

class KNF_NODE_PROCESSOR

inherit
	CONDITION_LIST_PROCESSOR

create 
	make
	
feature -- Access
	name: STRING is "knf"
	
	Mandatory_attributes: ARRAY [STRING] is
		-- Table of mandatory attributes
	once
		Result := << >>
		Result.compare_objects
	end

feature -- Basic operations
	
	get_condition_list(a_conditioned: CONDITIONED):CONDITION_LIST is
			-- 
	do
		result := a_conditioned.knf
	end
		
end