This page contains the documentation of the various member functions of the Congruence class that can be used to access the state of an instance.
Those functions with the prefix current_ do not perform any further enumeration.
|
| template<typename Thing> |
| std::shared_ptr< Thing > | get () const |
| | Get a derived class of detail::CongruenceCommon being used to compute a Congruence instance.
|
| |
| template<typename Thing> |
| bool | has () const |
| | Check if a derived class of detail::CongruenceCommon being used to compute a Congruence instance.
|
| |
◆ get()
template<typename Word>
template<typename Thing>
This function returns a std::shared_ptr to a Thing if such an object is being used or could be used to compute the congruence represented by a Congruence instance. If no such Thing is available, then an exception is thrown.
- Template Parameters
-
| Thing | the type of the detail::CongruenceCommon object being sought. |
- Returns
- The derived class of detail::CongruenceCommon.
- Exceptions
-
- See also
- has.
◆ has()
template<typename Word>
template<typename Thing>
This function returns true if a Thing is being used or could be used to compute the congruence represented by a Congruence instance; or false if not.
- Template Parameters
-
| Thing | the type of the detail::CongruenceCommon object being sought. |
- Returns
- Whether or not a
Thing is being used to compute the Congruence instance.
- Exceptions
- This function guarantees not to throw a LibsemigroupsException.
- See also
- get.
