Geo-Value Iterator

A geo-value iterator is an iterator on a set of geo-values. This set could be for example a simulation grid, a region of a simulation grid or a Neighborhood. Geo-value iterators can be random paths through the set of geo-values or deterministic paths. These paths can be constrained to visit every geo-value only once, or they can allow multiple visits to the same geo-value. Some iterative simulation methods start the simulation with a seed image which is iteratively modified. Each location to be modified is chosen randomly, and the same geo-value can be changed twice in a row, while other geo-values would never be visited.

Refinement of

Forward Iterator

Associated Types

• Value Type

  I::value_type

  The type obtained by dereferencing (applying operator *) to a model of Geo-Value Iterator.

Notations

I		A type that is a model of geo-value iterator
i,j		objects of type I
G		A type that is a model of Geo-Value

Valid Expressions

• Assignment

  i=j

  Return type:		a type that is convertible to bool
  Semantics:		j is assigned to i

• Preincrement

  ++i

  Return type:		I
  Precondition:		i is dereferenceable
  Semantics:		i is modified to point to the next value
  Postcondition:		i is dereferenceable or one past the end

• Postincrement

  i++

  Return type:		I
  Precondition:		i is dereferenceable
  Semantics:		i is modified to point to the next value
  Postcondition:		i is dereferenceable or past the end

• dereference

  *i

  Return type:		G
  Precondition:		i is incrementable (operator ++ can be applied to i)
  Semantics:		Returns the element i is pointing to.

• comparison

  i!=j

  Return type:		a type convertible to bool
  Semantics:		Returns true if i is different from j, i.e i and j are pointing to different elements.

Models

• random_path
• deterministic_path