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.

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

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

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

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

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.