-- See the Copyright notice at the end of this file.
--
class PERMUT

inherit
	COMPARABLE
		undefine copy, is_equal, fill_tagged_out_memory
		end
	FAST_ARRAY[INTEGER]

creation {ANY}
	make, from_collection

feature {ANY}
	infix "<" (other: like Current): BOOLEAN is
		local
			i: INTEGER; up: INTEGER
		do
			from
				up := upper.min(other.upper)
			until
				i > up or else item(i) /= other.item(i)
			loop
				i := i + 1
			end
			if i <= up then
				Result := item(i) < other.item(i)
			else
				Result := i <= other.upper
			end
		end

end -- class PERMUT
--
-- ------------------------------------------------------------------------------------------------------------------------------
-- Copyright notice below. Please read.
--
-- This file is free software, which comes along with SmartEiffel. This software is distributed in the hope that it will be
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
-- You can modify it as you want, provided this footer is kept unaltered, and a notification of the changes is added.
-- You are allowed to redistribute it and sell it, alone or as a part of another product.
--
-- Copyright(C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P.       - University of Nancy 1 - FRANCE
-- Copyright(C) 2003-2005: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne - University of Nancy 2 - FRANCE
--
-- Authors: Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN
--
-- http://SmartEiffel.loria.fr - SmartEiffel@loria.fr
-- ------------------------------------------------------------------------------------------------------------------------------