root_of_scc(const_reference_point_type)¶
-
const_reference_point_type
libsemigroups::Action
::
root_of_scc
(const_reference_point_type x) Returns an Action::const_reference_point_type to the root point of the strongly connected component of the action containing the point
x
.- Return
A point of type
TPointType
.- Complexity
At most \(O(mn)\) where \(m\) is the complexity of multiplying elements of type
TElementType
and \(n\) is the size of the fully enumerated orbit.- Parameters
x
: the point whose root we want to find.
- Exceptions
LibsemigroupsException
: if the pointx
does not belong to the action.