NOTE: The types and expression involving Incidence Iterators are given below for the case of vertex-on-facet iteration. Analogous types and expressions can be defined for the other element types.
The tables are to be understood in the following sense:
If a facet defines the incidence iterator over vertices,
then the requirements under Optional part apply.
Analogous requirements take effect if `vertex' is replaced by another element type.
Name | Expression | Description |
handle type | F::facet_handle | type of the corresponding Facet Handle |
cell type |
F::Cell |
Cell type of the facet,
short for F::grid_type::Cell .
|
Optional part (as example) | ||
vertex-on-facet iterator | F::VertexIterator | type of the corr. VertexOnFacetIterator |
Name | Expression | Type requirements | return type |
handle | f.handle() | F::facet_handle | |
first cell |
c = f.C1() | Cell | |
second cell |
c = f.C2() | Cell | |
Optional part (as example) | |||
vertex-on-facet iteration start | f.FirstVertex() | F::VertexIterator | |
number of incident vertices | F.NumOfVertices() | int | |
Name | Expression | Precondition | Semantics | Postcondition |
handle | h = f.handle(); | f is valid | shorthand for h = f.TheGrid(). handle(f) | f == f.TheGrid(). facet(h) |
Optional part (as example) | ||||
Vertex-on-facet iteration start | vf = f.FirstVertex() | f is valid | let fi point to the first vertex incident to f | vf.TheEdge() == vf.TheAnchor() == f and vf.TheGrid() == f.TheGrid() |
number of incident vertices | n = f.NumOfVertices() | f is valid | n is the number of vertices that are incident to f | |