Index handler - Revision history

Weihe at 11:02, 7 November 2014

2014-11-07T11:02:37Z

← Older revision		Revision as of 11:02, 7 November 2014
Line 14:		Line 14:
	'''Name:''' reserve index		'''Name:''' reserve index

	'''~~Argument~~:''' A value <math>V\in\mathcal{V}</math>.		'''Input:''' A value <math>V\in\mathcal{V}</math>.

	'''Precondition:''' <math>\|I\|<N</math>.		'''Precondition:''' <math>\|I\|<N</math>.
Line 26:		Line 26:
	'''Name:''' release index		'''Name:''' release index

	'''~~Argument~~:''' An integral number <math>i</math>.		'''Input:''' An integral number <math>i</math>.

	'''Precondition:''' <math>i\in I</math>.		'''Precondition:''' <math>i\in I</math>.
Line 36:		Line 36:
	'''Name:''' get value		'''Name:''' get value

	'''~~Argument~~:''' An integral number <math>i</math>.		'''Input:''' An integral number <math>i</math>.

	'''Precondition:''' <math>i\in I</math>.		'''Precondition:''' <math>i\in I</math>.
Line 46:		Line 46:
	'''Name:''' change value		'''Name:''' change value

	'''~~Argument~~:''' An integral number <math>i</math> and a value <math>V\in\mathcal{V}</math>.		'''Input:''' An integral number <math>i</math> and a value <math>V\in\mathcal{V}</math>.

	'''Precondition:''' <math>i\in I</math>.		'''Precondition:''' <math>i\in I</math>.

Weihe at 14:40, 20 October 2014

2014-10-20T14:40:50Z

← Older revision		Revision as of 14:40, 20 October 2014
Line 51:		Line 51:

	'''Postcondition:''' The value currently associated with <math>i</math> is overwritten by <math>V</math>.		'''Postcondition:''' The value currently associated with <math>i</math> is overwritten by <math>V</math>.

			== Known implementations ==

			# [[Index handler with list of unused]]

Weihe: /* Representation invariant */

2014-10-20T14:34:33Z

Representation invariant

← Older revision		Revision as of 14:34, 20 October 2014
Line 8:		Line 8:
	'''Remarks:'''		'''Remarks:'''
	# This abstract data structure may be viewed as a specific, quite restricted type of [[Sets and sequences#Maps\|map]].		# This abstract data structure may be viewed as a specific, quite restricted type of [[Sets and sequences#Maps\|map]].
	# The indexes have to be ~~maintained~~ outside this data structure. For example, in [[Dijkstra]] and [[Prim]], it might be a good option to make the index a node attribute,		# The returned indexes have to be managed outside this data structure. For example, in [[Dijkstra]] and [[Prim]], it might be a good option to make the index a node attribute,

	== Method ==		== Method ==

Weihe: /* Representation invariant */

2014-10-20T14:34:09Z

Representation invariant

← Older revision		Revision as of 14:34, 20 October 2014
Line 6:		Line 6:
	# A mapping <math>I\rightarrow\mathcal{V}</math>.		# A mapping <math>I\rightarrow\mathcal{V}</math>.

	'''~~Remark~~:''' This ~~abstact~~ data structure may be viewed as a specific, quite restricted type of [[Sets and sequences#Maps\|map]].		'''Remarks:'''
			# This abstract data structure may be viewed as a specific, quite restricted type of [[Sets and sequences#Maps\|map]].
			# The indexes have to be maintained outside this data structure. For example, in [[Dijkstra]] and [[Prim]], it might be a good option to make the index a node attribute,

	== Method ==		== Method ==

Weihe: /* Method */

2014-10-20T14:17:33Z

Method

← Older revision		Revision as of 14:17, 20 October 2014
Line 28:		Line 28:
	'''Precondition:''' <math>i\in I</math>.		'''Precondition:''' <math>i\in I</math>.

	'''Postcondition:''' <math>i</math> is extracted from <math>i</math> and the associated value ~~removed~~.		'''Postcondition:''' <math>i</math> is extracted from <math>I</math>, and the associated value is dropped.

	== Method ==		== Method ==

Weihe: /* Method */

2014-10-20T14:17:08Z

Method

← Older revision		Revision as of 14:17, 20 October 2014
Line 32:		Line 32:
	== Method ==		== Method ==

	'''Name:'' get value		'''Name:''' get value

	'''Argument:''' An integral number <math>i</math>.		'''Argument:''' An integral number <math>i</math>.

Weihe: /* Method */

2014-10-20T14:15:06Z

Method

← Older revision		Revision as of 14:15, 20 October 2014
Line 38:		Line 38:
	'''Precondition:''' <math>i\in I</math>.		'''Precondition:''' <math>i\in I</math>.

	'''Return value:''' The value currently associated with <math>i</math>.,		'''Return value:''' The value currently associated with <math>i</math>.

	== Method ==		== Method ==

Weihe at 14:14, 20 October 2014

2014-10-20T14:14:40Z

← Older revision		Revision as of 14:14, 20 October 2014
Line 12:		Line 12:
	'''Name:''' reserve index		'''Name:''' reserve index

	'''~~Parameter~~:''' A value <math>V\in\mathcal{V}</math>.		'''Argument:''' A value <math>V\in\mathcal{V}</math>.

	'''Precondition:''' <math>\|I\|<N</math>.		'''Precondition:''' <math>\|I\|<N</math>.
Line 24:		Line 24:
	'''Name:''' release index		'''Name:''' release index

	'''~~Parameter~~:''' An integral number <math>i</math>.		'''Argument:''' An integral number <math>i</math>.

	'''Precondition:''' <math>i\in I</math>.		'''Precondition:''' <math>i\in I</math>.

	'''Postcondition:''' <math>i</math> is extracted from <math>i</math> and the associated value removed.		'''Postcondition:''' <math>i</math> is extracted from <math>i</math> and the associated value removed.

			== Method ==

			'''Name:'' get value

			'''Argument:''' An integral number <math>i</math>.

			'''Precondition:''' <math>i\in I</math>.

			'''Return value:''' The value currently associated with <math>i</math>.,

	== Method ==		== Method ==
Line 34:		Line 44:
	'''Name:''' change value		'''Name:''' change value

	'''~~Parameter~~:''' An integral number <math>i</math> and a value <math>V\in\mathcal{V}</math>.		'''Argument:''' An integral number <math>i</math> and a value <math>V\in\mathcal{V}</math>.

	'''Precondition:''' <math>i\in I</math>.		'''Precondition:''' <math>i\in I</math>.

	'''Postcondition:''' The value associated with <math>i</math> is overwritten by <math>V</math>.		'''Postcondition:''' The value currently associated with <math>i</math> is overwritten by <math>V</math>.

Weihe: /* Method */

2014-10-20T13:56:16Z

Method

← Older revision		Revision as of 13:56, 20 October 2014
Line 34:		Line 34:
	'''Name:''' change value		'''Name:''' change value

	'''Parameter:''' An integral number <math>i</math> and a value <math>V\~~inmathcal~~{V}</math>.		'''Parameter:''' An integral number <math>i</math> and a value <math>V\in\mathcal{V}</math>.

	'''Precondition:''' <math>i\in I</math>.		'''Precondition:''' <math>i\in I</math>.

	'''Postcondition:''' The value associated with <math>i</math> is overwritten by <math>V</math>.		'''Postcondition:''' The value associated with <math>i</math> is overwritten by <math>V</math>.

Weihe at 13:56, 20 October 2014

2014-10-20T13:56:01Z

← Older revision		Revision as of 13:56, 20 October 2014
Line 29:		Line 29:

	'''Postcondition:''' <math>i</math> is extracted from <math>i</math> and the associated value removed.		'''Postcondition:''' <math>i</math> is extracted from <math>i</math> and the associated value removed.

			== Method ==

			'''Name:''' change value

			'''Parameter:''' An integral number <math>i</math> and a value <math>V\inmathcal{V}</math>.

			'''Precondition:''' <math>i\in I</math>.

			'''Postcondition:''' The value associated with <math>i</math> is overwritten by <math>V</math>.