Location

A location is an element of a d-dimensional Euclidean space $\mathbb {E}$. It is represented by its Cartesian coordinates: (p₀, p₁,..., p_{d - 1}).

Refinement of

Default Constructible, Assignable, Equality Comparable

Associated Types

• Coordinate type

  A::coordinate_type

  The type of the coordinates p_i, . Operations +, -, * must be defined on this type. The coordinate type should also be convertible to type double.

• Difference type

  A::difference_type

  The type of the euclidean vector obtained by computing the difference between two Locations. difference_type is a model of Euclidean Vector.

Notations

L		A type that is a model of Location
a, b		Objects of type L
C		coordinate type: L::coordinate_type
i		object of type unsigned int

Valid Expressions

• Dimension

  L::dimension

  Return type:		int
  Semantics:		returns the dimension of locations of type L

• Copy Constructor

  L(a)

  Return type:		L
  Postcondition:		L(a) is a copy of a

• Copy Constructor

  L b(a)

  Postcondition:

  b is a copy of a

• Assignment

  b = a

  Return type:		L
  Postcondition:		b is a copy of a

• Coordinate Access Function

  a[i]

  Return type:		C
  Precondition:
  Semantics:		returns the ith coordinate of the Location

• Equality Comparison

  a == b

  Return type:		bool
  Semantics:		checks if two locations are identical

• Difference Operator

  a - b

  Return type:		a model of EuclideanVector
  Semantics:		Computes the euclidean vector between two locations a and b

Models

• location2d
• location3d