Operators¶
-
inline value_type &libsemigroups::StaticPTransf::at(size_t i)¶
Get a reference to the image of a point.
Returns a reference to the image of
i
.- Complexity
Constant.
- Parameters
i – the point.
- Throws
std::out_of_range – if
i
is out of range.- Returns
A reference to a value_type.
-
inline value_type const &libsemigroups::StaticPTransf::at(size_t i) const¶
Get a const reference to the image of a point.
Returns a const reference to the image of
i
.- Complexity
Constant.
- Parameters
i – the point.
- Throws
std::out_of_range – if
i
is out of range.- Returns
A const reference to a value_type.
-
inline bool libsemigroups::StaticPTransf::operator!=(PTransfBase const &that) const¶
Compare for inequality.
Returns
true
if*this
does not equalthat
by comparing the image values of*this
andthat
.- Complexity
At worst linear in degree().
- Parameters
that – the partial transformation for comparison.
- Throws
(None) – This function guarantees not to throw a libsemigroups::LibsemigroupsException.
- Returns
A value of type
bool
.
-
inline TSubclass libsemigroups::StaticPTransf::operator*(TSubclass const &that) const¶
Multiply by another partial transformation.
Returns a newly constructed partial transformation holding the product of
*this
andthat
.- Complexity
Linear in degree().
- Template Parameters
TSubclass – A class derived from libsemigroups::PTransfPolymorphicBase.
- Parameters
that – a partial transformation.
- Throws
(None) – This function guarantees not to throw a libsemigroups::LibsemigroupsException.
- Returns
A value of type
TSubclass
-
inline bool libsemigroups::StaticPTransf::operator<(PTransfBase const &that) const¶
Compare for less.
Returns
true
if*this
is less thanthat
by comparing the image values of*this
andthat
.- Complexity
At worst linear in degree().
- Parameters
that – the partial transformation for comparison.
- Throws
(None) – This function guarantees not to throw a libsemigroups::LibsemigroupsException.
- Returns
A value of type
bool
.
-
inline bool libsemigroups::StaticPTransf::operator<=(PTransfBase const &that) const¶
Compare for less than or equal.
Returns
true
if*this
is less than or equal tothat
by comparing the image values of*this
andthat
.- Complexity
At worst linear in degree().
- Parameters
that – the partial transformation for comparison.
- Throws
(None) – This function guarantees not to throw a libsemigroups::LibsemigroupsException.
- Returns
A value of type
bool
.
-
inline bool libsemigroups::StaticPTransf::operator==(PTransfBase const &that) const¶
Compare for equality.
Returns
true
if*this
equalsthat
by comparing the image values of*this
andthat
.- Complexity
At worst linear in degree().
- Parameters
that – the partial transformation for comparison.
- Throws
(None) – This function guarantees not to throw a libsemigroups::LibsemigroupsException.
- Returns
A value of type
bool
.
-
inline bool libsemigroups::StaticPTransf::operator>(PTransfBase const &that) const¶
Compare for greater.
Returns
true
if*this
is greater thanthat
by comparing the image values of*this
andthat
.- Complexity
At worst linear in degree().
- Parameters
that – the partial transformation for comparison.
- Throws
(None) – This function guarantees not to throw a libsemigroups::LibsemigroupsException.
- Returns
A value of type
bool
.
-
inline bool libsemigroups::StaticPTransf::operator>=(PTransfBase const &that) const¶
Compare for greater than or equal.
Returns
true
if*this
is greater than or equal tothat
by comparing the image values of*this
andthat
.- Complexity
At worst linear in degree().
- Parameters
that – the partial transformation for comparison.
- Throws
(None) – This function guarantees not to throw a libsemigroups::LibsemigroupsException.
- Returns
A value of type
bool
.
-
inline value_type &libsemigroups::StaticPTransf::operator[](size_t i)¶
Get a reference to the image of a point.
Returns a reference to the image of
i
.- Complexity
Constant.
Warning
No bound checks are performed on
i
.- Parameters
i – the point.
- Throws
(None) – This function is
noexcept
and is guaranteed never to throw.- Returns
A reference to a value_type.
-
inline value_type const &libsemigroups::StaticPTransf::operator[](size_t i) const¶
Get a const reference to the image of a point.
Returns a const reference to the image of
i
.- Complexity
Constant.
Warning
No bound checks are performed on
i
.- Parameters
i – the point.
- Throws
(None) – This function is
noexcept
and is guaranteed never to throw.- Returns
A const reference to a value_type.