Physical Cell Concept

A Physical Cell is any cell type associated with a Physical Pattern.

Refinement of

Notation

Pattern is a type that models the Physical Pattern concept.
N is an unsigned integral type.
n is an object of type N.

Associated Types

No additional types beyond those defined in the Assignable concept.

Valid Expressions

In addition to the expressions defined in the Assignable concept, the following expressions must be valid.

Name Expression Type Requirements Return Type

Constructor Pattern::Cell(n) Pattern::Cell

Constructor Pattern::Cell cell(n)

Cell coordinate access cell[n] A cell coordinate type

Name	Expression	Return Type
Constructor	`Pattern::Cell(n)`	`Pattern::Cell`
Constructor	`Pattern::Cell cell(n)`
Cell coordinate access	`cell[n]`	A cell coordinate type

Expression Semantics

In addition to the semantics defined in the Assignable concept, the following semantics must apply.

Name Expression Precondition Semantics Postcondition

Constructor Pattern::Cell(n) n == 3

Constructor Pattern::Cell cell(n) n == 3

Cell coordinate access cell[n] 0 <= n && n < 3 cell[0] is the cell's x-coordinate, cell[1] is the cell's y-coordinate, and cell[2] is the cell's z-coordinate.

Name	Expression	Precondition	Semantics
Constructor	`Pattern::Cell(n)`	`n == 3`
Constructor	`Pattern::Cell cell(n)`	`n == 3`
Cell coordinate access	`cell[n]`	`0 <= n && n < 3`	`cell[0]` is the cell's x-coordinate, `cell[1]` is the cell's y-coordinate, and `cell[2]` is the cell's z-coordinate.

Invariants and Runtime Complexity Guarantees

In addition to the invariants and guarantees defined in the Assignable concept, the following invariants must hold.

Name Invariants Runtime complexity

Constructor

Cell coordinate access Amortized constant time

Name	Invariants	Runtime complexity
Constructor
Cell coordinate access		Amortized constant time

Multi-State Mazes in C++ is hosted by . Use the Table of Contents for navigation.