class
	KL_SPECIAL_ROUTINES [G]

General
	cluster: kernel
	description: "Routines that ought to be in class SPECIAL. A special object is a zero-based indexed sequence of values, equipped with features put, item and count."

Ancestors
	ANY

Queries
	aliased_resized_area (an_array: SPECIAL [G]; n: INTEGER_32): SPECIAL [G]
	aliased_resized_area_with_default (an_array: SPECIAL [G]; a_default_value: G; n: INTEGER_32): SPECIAL [G]
	has (an_array: SPECIAL [G]; v: G): BOOLEAN
	make (n: INTEGER_32): SPECIAL [G]
	make_filled (v: G; n: INTEGER_32): SPECIAL [G]
	make_from_array (an_array: ARRAY [G]): SPECIAL [G]
	to_special (an_array: ARRAY [G]): SPECIAL [G]

Commands
	force (a_array: SPECIAL [G]; v: G; i: INTEGER_32)
	keep_head (an_array: SPECIAL [G]; n, a_old_count: INTEGER_32)


Generated by ISE EiffelStudio