Operators¶

This page contains information about the operators for the DynamicPTransf class.

inline bool libsemigroups::DynamicPTransf::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.

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::DynamicPTransf::operator*(TSubclass const &that) const¶

Multiply by another partial transformation.

Returns a newly constructed partial transformation holding the product of *this and that.

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::DynamicPTransf::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.

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::DynamicPTransf::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.

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::DynamicPTransf::operator==(PTransfBase const &that) const¶

Compare for equality.

Returns true if *this equals that by comparing the image values of *this and that.

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::DynamicPTransf::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.

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::DynamicPTransf::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.

Parameters: that – the partial transformation for comparison.
Throws: (None) – This function guarantees not to throw a libsemigroups::LibsemigroupsException.
Returns: A value of type bool.