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 equal that by comparing the image values of *this and that.

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 and that.

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 than that by comparing the image values of *this and that.

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 to that by comparing the image values of *this and that.

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 equals that by comparing the image values of *this and that.

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 than that by comparing the image values of *this and that.

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 to that by comparing the image values of *this and that.

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.