Index handler: Difference between revisions

Revision as of 13:36, 20 October 2014

This abstract data structure is generic and parameterized by An object of an implementation of this abstract data structure is repesented by:

positive integral number [math]\displaystyle{ N }[/math] and a subset [math]\displaystyle{ I }[/math] of [math]\displaystyle{ \{1,\ldots,N\} }[/math], the current indexes.

Remark: restricted type of map.

Name: reserve index

Precondition: [math]\displaystyle{ |I|\lt N }[/math].

Return value: One of the indexes not in [math]\displaystyle{ I }[/math].

Postcondition: The returned index is inserted in [math]\displaystyle{ I }[/math].

Name: release index

@@ Line 1: / Line 1: @@
 == Representation invariant ==
-At any time, an object of an implementation of this abstract data structure is repesented by a positive integral number <math>N</math> and a subset <math>I</math> of <math>\{1,\ldots,N\}</math>, the '''current indexes'''.
+This abstract data structure is [[Genericity|generic]] and parameterized by
+An object of an implementation of this abstract data structure is repesented by:
+# positive integral number <math>N</math> and a subset <math>I</math> of <math>\{1,\ldots,N\}</math>, the '''current indexes'''.
+'''Remark:''' restricted type of [[Sets and sequences#Maps|map]].
 == Method ==