Regina Calculation Engine
|
Helper class that stores whether a face is valid. More...
#include <triangulation/detail/face.h>
Public Member Functions | |
bool | isValid () const |
Determines if this face is valid. More... | |
bool | hasBadIdentification () const |
Determines if this face is identified with itself under a non-identity permutation. More... | |
Protected Member Functions | |
FaceValidity () | |
Initialises this face as valid. More... | |
void | markBadIdentification () |
Marks this face as having a non-identity self-identification. More... | |
Helper class that stores whether a face is valid.
See the general FaceValidity template notes for further details.
This specialisation is used for non-standard dimensions, where the definition of validity is weaker: we do test faces for bad self-identifications, but we do not test faces for bad links.
See FaceValidity<true, true>::isValid() for a full discussion of what it means for a face to be valid, and how this differs between standard and non-standard dimensions.
|
inlineprotected |
Initialises this face as valid.
|
inline |
Determines if this face is identified with itself under a non-identity permutation.
For example, if this face is an edge then this routine tests whether the edge is identified with itself in reverse.
For this class, hasBadIdentification() returns true
if and only if isValid() returns false
. This is in contrast to standard dimensions, where there are other types of invalid faces also. See FaceValidity<true, true>::isValid() for a full discussion of what it means for a face to be valid, and how this differs between standard and non-standard dimensions.
true
if and only if this face is identified with itself under a non-identity permutation.
|
inline |
Determines if this face is valid.
This class is used for non-standard dimensions, where a face is defined to be valid if and only if it is not identified with itself under a non-identity permutation. For example, an edge is valid if and only if it is not identified with itself in reverse, and a triangle is valid if and only if it is is not identified with itself under a non-trivial rotation or reflection.
Note that the definition of validity is richer in Regina's standard dimensions, where we also consider the topology of the link of a face. See FaceValidity<true, true> for a full discussion of what it means for a face to be valid, and how this differs between standard and non-standard dimensions.
true
if and only if this face is not identified with itself under a non-identity permutation.
|
inlineprotected |
Marks this face as having a non-identity self-identification.