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

class interface
	TEST_SEQ

create 
	make

feature --tests

	t1: BOOLEAN

	t2: BOOLEAN

	t3: BOOLEAN

	t4: BOOLEAN

	t5: BOOLEAN

	t6: BOOLEAN

	t7: BOOLEAN

	t8: BOOLEAN

	t9: BOOLEAN

	t10: BOOLEAN

	t11: BOOLEAN

	t12: BOOLEAN

	t13: BOOLEAN

	t14: BOOLEAN

	t15: BOOLEAN

	t16: BOOLEAN

	f (i: INTEGER_32): INTEGER_32
	
feature -- Agent functions

	is_sorted (pair: PAIR [INTEGER_32, INTEGER_32]; seq: SEQ [INTEGER_32]): BOOLEAN

	is_positive (pair: PAIR [INTEGER_32, INTEGER_32]): BOOLEAN
	
end -- class TEST_SEQ

Generated by ISE EiffelStudio