A lightweight class used to refer to a particular facet of a particular top-dimensional simplex in a dim-dimensional triangulation. More...

#include <triangulation/facetspec.h>

Public Member Functions
	FacetSpec ()=default
	Creates a new specifier with no initialisation. More...

	FacetSpec (int newSimp, int newFacet)
	Creates a new specifier referring to the given facet of the given simplex. More...

	FacetSpec (const FacetSpec< dim > &cloneMe)=default
	Creates a new specifier referring to the same simplex facet as the given specifier. More...

bool	isBoundary (size_t nSimplices) const
	Determines if this specifier represents the overall boundary. More...

bool	isBeforeStart () const
	Determines if this specifier represents a before-the-start value. More...

bool	isPastEnd (size_t nSimplices, bool boundaryAlso) const
	Determines if this specifier represents a past-the-end value. More...

void	setFirst ()
	Sets this specifier to the first facet of the first simplex. More...

void	setBoundary (size_t nSimplices)
	Sets this specifier to the overall boundary. More...

void	setBeforeStart ()
	Sets this specifier to before-the-start. More...

void	setPastEnd (size_t nSimplices)
	Sets this specifier to past-the-end. More...

FacetSpec &	operator= (const FacetSpec< dim > &other)=default
	Sets this specifier to the value of the given specifier. More...

FacetSpec &	operator++ ()
	Increments this specifier. More...

FacetSpec	operator++ (int)
	Increments this specifier. More...

FacetSpec &	operator-- ()
	Decrements this specifier. More...

FacetSpec	operator-- (int)
	Decrements this specifier. More...

bool	operator== (const FacetSpec< dim > &other) const
	Determines if this and the given specifier are identical. More...

bool	operator!= (const FacetSpec< dim > &other) const
	Determines if this and the given specifier are not identical. More...

bool	operator< (const FacetSpec< dim > &other) const
	Determines if this is less than the given specifier. More...

bool	operator<= (const FacetSpec< dim > &other) const
	Determines if this is less than or equal to the given specifier. More...

Public Attributes
int	simp
	The simplex referred to. More...

int	facet
	The facet of the simplex referred to. More...

Detailed Description

template<int dim>
struct regina::FacetSpec< dim >

A lightweight class used to refer to a particular facet of a particular top-dimensional simplex in a dim-dimensional triangulation.

Only the simplex index and the facet number are stored.

Facilities are provided for iterating through simplex facets. With this in mind, it is also possible to represent the overall boundary, a past-the-end value and a before-the-start value.

When iterating through the simplex facets, the facets will be ordered first by simplex index and then by facet number. The overall boundary appears after all other simplex facets.

If there are n simplices, the simplices will be numbered from 0 to n-1 inclusive. The boundary will be represented as simplex n, facet 0. The past-the-end value will be represented as simplex n, facet 1, and the before-the-start value will be represented as simplex -1, facet dim.

These objects are small enough to pass by value and swap with std::swap(), with no need for any specialised move operations or swap functions.

Python: Python does not support templates. Instead this class can be used by appending the dimension as a suffix (e.g., FacetSpec2 and FacetSpec3 for dimensions 2 and 3).

Template Parameters

dim	the dimension of the underlying triangulation. This must be between 2 and 15 inclusive.

Constructor & Destructor Documentation

◆ FacetSpec() [1/3]

template<int dim>

regina::FacetSpec< dim >::FacetSpec ( )

default

Creates a new specifier with no initialisation.

This specifier must be initialised before it is used.

◆ FacetSpec() [2/3]

template<int dim>

regina::FacetSpec< dim >::FacetSpec	(	int	newSimp,
		int	newFacet
	)

inline

Creates a new specifier referring to the given facet of the given simplex.

Parameters

newSimp	the given simplex; see the class notes for allowable values of this parameter.
newFacet	the given facet; this should be between 0 and dim inclusive.

◆ FacetSpec() [3/3]

template<int dim>

regina::FacetSpec< dim >::FacetSpec ( const FacetSpec< dim > & cloneMe )

default

Creates a new specifier referring to the same simplex facet as the given specifier.

Parameters

cloneMe the specifier to clone.

Member Function Documentation

◆ isBeforeStart()

template<int dim>

bool regina::FacetSpec< dim >::isBeforeStart

inline

Determines if this specifier represents a before-the-start value.

Returns: true if and only if this specifier is before-the-start.

◆ isBoundary()

template<int dim>

bool regina::FacetSpec< dim >::isBoundary ( size_t nSimplices ) const

inline

Determines if this specifier represents the overall boundary.

Parameters

nSimplices the number of simplices under consideration. Note that the boundary is represented in this specifier as simplex nSimplices, facet 0.

Returns: true if and only if this specifier represents the overall boundary.

◆ isPastEnd()

template<int dim>

bool regina::FacetSpec< dim >::isPastEnd	(	size_t	nSimplices,
		bool	boundaryAlso
	)		const

inline

Determines if this specifier represents a past-the-end value.

You can optionally declare the overall boundary to be past-the-end as well as the already predefined past-the-end value.

Parameters

nSimplices	the number of simplices under consideration. Note that past-the-end is represented in this specifier as simplex nSimplices, facet 1.
boundaryAlso	`true` if the overall boundary should be considered past-the-end in addition to the predefined past-the-end value.

Returns: true if and only if this specifier is past-the-end.

◆ operator!=()

template<int dim>

bool regina::FacetSpec< dim >::operator!= ( const FacetSpec< dim > & other ) const

inline

Determines if this and the given specifier are not identical.

Parameters

other the specifier to compare with this.

Returns: true if and only if this and the given specifier are not equal.

◆ operator++() [1/2]

template<int dim>

FacetSpec< dim > & regina::FacetSpec< dim >::operator++

inline

Increments this specifier.

It will be changed to point to the next simplex facet.

Facets are ordered first by simplex index and then by facet number. The overall boundary appears after all other facets.

Precondition: This specifier is not past-the-end.

Python: Not present, although the postincrement operator is present in python as the member function inc().

Returns: A reference to this specifier.

◆ operator++() [2/2]

template<int dim>

FacetSpec< dim > regina::FacetSpec< dim >::operator++ ( int )

inline

Increments this specifier.

It will be changed to point to the next simplex facet.

Facets are ordered first by simplex index and then by facet number. The overall boundary appears after all other facets.

Precondition: This specifier is not past-the-end.

Python: This routine is named inc() since python does not support the increment operator.

Returns: A copy of this specifier before it was incremented.

◆ operator--() [1/2]

template<int dim>

FacetSpec< dim > & regina::FacetSpec< dim >::operator--

inline

Decrements this specifier.

It will be changed to point to the previous simplex facet.

Facets are ordered first by simplex index and then by facet number. The overall boundary appears after all other facets.

Precondition: This specifier is not before-the-start.

Python: Not present, although the postdecrement operator is present in python as the member function dec().

Returns: A reference to this specifier.

◆ operator--() [2/2]

template<int dim>

FacetSpec< dim > regina::FacetSpec< dim >::operator-- ( int )

inline

Decrements this specifier.

It will be changed to point to the previous simplex facet.

Facets are ordered first by simplex index and then by facet number. The overall boundary appears after all other facets.

Precondition: This specifier is not before-the-start.

Python: This routine is named dec() since python does not support the decrement operator.

Returns: A copy of this specifier before it was decremented.

◆ operator<()

template<int dim>

bool regina::FacetSpec< dim >::operator< ( const FacetSpec< dim > & other ) const

inline

Determines if this is less than the given specifier.

Parameters

other the specifier to compare with this.

Returns: true if and only if this is less than the given specifier.

◆ operator<=()

template<int dim>

bool regina::FacetSpec< dim >::operator<= ( const FacetSpec< dim > & other ) const

inline

Determines if this is less than or equal to the given specifier.

Parameters

other the specifier to compare with this.

Returns: true if and only if this is less than or equal to the given specifier.

◆ operator=()

template<int dim>

FacetSpec & regina::FacetSpec< dim >::operator= ( const FacetSpec< dim > & other )

default

Sets this specifier to the value of the given specifier.

Parameters

other the given specifier.

Returns: a reference to this specifier.

◆ operator==()

template<int dim>

bool regina::FacetSpec< dim >::operator== ( const FacetSpec< dim > & other ) const

inline

Determines if this and the given specifier are identical.

Parameters

other the specifier to compare with this.

Returns: true if and only if this and the given specifier are equal.

◆ setBeforeStart()

template<int dim>

void regina::FacetSpec< dim >::setBeforeStart

inline

Sets this specifier to before-the-start.

◆ setBoundary()

template<int dim>

void regina::FacetSpec< dim >::setBoundary ( size_t nSimplices )

inline

Sets this specifier to the overall boundary.

Parameters

nSimplices the number of simplices under consideration. Note that the boundary is represented in this specifier as simplex nSimplices, facet 0.

◆ setFirst()

template<int dim>

void regina::FacetSpec< dim >::setFirst

inline

Sets this specifier to the first facet of the first simplex.

◆ setPastEnd()

template<int dim>

void regina::FacetSpec< dim >::setPastEnd ( size_t nSimplices )

inline

Sets this specifier to past-the-end.

Parameters

nSimplices the number of simplices under consideration. Note that past-the-end is represented in this specifier as simplex nSimplices, facet 1.

Member Data Documentation

◆ facet

template<int dim>

int regina::FacetSpec< dim >::facet

The facet of the simplex referred to.

The facet number is between 0 and dim inclusive.

◆ simp

template<int dim>

int regina::FacetSpec< dim >::simp

The simplex referred to.

Simplex numbering begins at 0.

The documentation for this struct was generated from the following file:

triangulation/facetspec.h

Public Member Functions

Public Attributes

Detailed Description

Constructor & Destructor Documentation

◆ FacetSpec() [1/3]

◆ FacetSpec() [2/3]

◆ FacetSpec() [3/3]

Member Function Documentation

◆ isBeforeStart()

◆ isBoundary()

◆ isPastEnd()

◆ operator!=()

◆ operator++() [1/2]

◆ operator++() [2/2]

◆ operator--() [1/2]

◆ operator--() [2/2]

◆ operator<()

◆ operator<=()

◆ operator=()

◆ operator==()

◆ setBeforeStart()

◆ setBoundary()

◆ setFirst()

◆ setPastEnd()

Member Data Documentation

◆ facet

◆ simp