Template code to work with triangulations of arbitrary dimension.
More...
|
int | regina::binomSmall (int n, int k) |
| Returns the binomial coefficient
choose k for small arguments n and k. More...
|
|
| regina::FaceList< dim, subdim >::FaceList (const FaceList &)=delete |
| Explicitly disable the copy constructor. More...
|
|
FaceList & | regina::FaceList< dim, subdim >::operator= (const FaceList &)=delete |
| Explicitly disable the assignment operator. More...
|
|
size_t | regina::FaceList< dim, subdim >::size () const |
| Returns the number of subdim-faces in the triangulation. More...
|
|
Face< dim, subdim > * | regina::FaceList< dim, subdim >::operator[] (size_t index) const |
| Returns the requested subdim-face. More...
|
|
Iterator | regina::FaceList< dim, subdim >::begin () const |
| Returns an iterator pointing to the first subdim-face. More...
|
|
Iterator | regina::FaceList< dim, subdim >::end () const |
| Returns an iterator pointing beyond the last subdim-face. More...
|
|
| regina::FaceList< dim, subdim >::FaceList ()=default |
| Creates an empty list of subdim-faces. More...
|
|
void | regina::FaceList< dim, subdim >::push_back (Face< dim, subdim > *face) |
| Pushes the given face onto the end of this list. More...
|
|
void | regina::FaceList< dim, subdim >::destroy () |
| Destroys all faces in this list, and clears the list itself. More...
|
|
bool | regina::FaceList< dim, subdim >::sameDegrees (const FaceList< dim, subdim > &other) const |
| Tests whether this and the given triangulation have the same subdim-face degree sequences. More...
|
|
Template code to work with triangulations of arbitrary dimension.
§ Dim2TriangleEdge
A lightweight class used to refer to a particular edge of a particular triangle in a 2-manifold triangulation.
This is a convenience typedef for the template instance FacetSpec<2>.
§ Dim4PentFacet
A lightweight class used to refer to a particular facet of a particular pentachoron in a 4-manifold triangulation.
This is a convenience typedef for the template instance FacetSpec<4>.
§ Iterator
template<int dim, int subdim>
An iterator type for iterating through this list of faces.
Dereferencing such an iterator will return a pointer of type Face<dim, subdim>*
.
§ NTetFace
A lightweight class used to refer to a particular face of a particular tetrahedron in a 3-manifold triangulation.
This is a convenience typedef for the template instance FacetSpec<3>.
§ begin()
template<int dim, int subdim>
Returns an iterator pointing to the first subdim-face.
- Returns
- an iterator at the beginning of this list.
§ binomSmall()
int regina::binomSmall |
( |
int |
n, |
|
|
int |
k |
|
) |
| |
|
inline |
Returns the binomial coefficient
choose k for small arguments n and k.
This routine is very fast, since it uses a constant-time lookup. The trade-off is that it can only be used for n ≤ 16.
If you need a compile-time constant, you should use the constant FaceNumbering<n-1, k-1>::nFaces instead. This function is provided for situations where n and/or k are not known until runtime.
- Note
- The constraint n ≤ 16 is large enough for working with triangulations in Regina, since Regina restricts its triangulations to dimension ≤ 15 (where each simplex has 16 vertices).
- Parameters
-
n | the parameter n in (n choose k); this must be between 0 and 16 inclusive. |
k | the parameter k in (n choose k); this must be between 0 and n inclusive. |
- Returns
- the binomial coefficient n choose k.
§ destroy()
template<int dim, int subdim>
Destroys all faces in this list, and clears the list itself.
§ end()
template<int dim, int subdim>
Returns an iterator pointing beyond the last subdim-face.
- Returns
- an iterator beyond the end of this list.
§ FaceList() [1/2]
template<int dim, int subdim>
Explicitly disable the copy constructor.
§ FaceList() [2/2]
template<int dim, int subdim>
Creates an empty list of subdim-faces.
§ operator=()
template<int dim, int subdim>
Explicitly disable the assignment operator.
§ operator[]()
template<int dim, int subdim>
Returns the requested subdim-face.
- Parameters
-
index | indicates which face to return; this must be between 0 and size()-1 inclusive. |
- Returns
- the (index)th subdim-face.
§ push_back()
template<int dim, int subdim>
Pushes the given face onto the end of this list.
This object will take ownership of the given face.
- Parameters
-
§ sameDegrees()
template<int dim, int subdim>
Tests whether this and the given triangulation have the same subdim-face degree sequences.
For the purposes of this routine, degree sequences are considered to be unordered.
- Precondition
- This and the given triangulation are known to have the same number of subdim-faces as each other.
- Parameters
-
other | the triangulation to compare against this. |
- Returns
true
if and only if the degree sequences are equal.
§ size()
template<int dim, int subdim>
Returns the number of subdim-faces in the triangulation.
- Returns
- the number of subdim-faces.