This page contains an overview of the functionality in libsemigroups
for finding actions of semigroups, or groups, on sets. The notion of an "action" in the context of libsemigroups
is analogous to the notion of an orbit of a group.
You are unlikely to want to use Action directly, but rather via the more convenient aliases RightAction and LeftAction. To use RightAction and LeftAction with custom types, actions, and so on, see ActionTraits.
See also ImageLeftAction and ImageRightAction.
Classes | |
class | Action< Element, Point, Func, Traits, LeftOrRight > |
Class for generating the action of a semigroup. More... | |
struct | ActionTraits< Element, Point > |
Typedefs | |
template<typename Element, typename Point, typename Func = ImageLeftAction<Element, Point>, typename Traits = ActionTraits<Element, Point>> | |
using | LeftAction = Action<Element, Point, Func, Traits, side::left> |
template<typename Element, typename Point, typename Func = ImageRightAction<Element, Point>, typename Traits = ActionTraits<Element, Point>> | |
using | RightAction = Action<Element, Point, Func, Traits, side::right> |
using LeftAction = Action<Element, Point, Func, Traits, side::left> |
This class represents the left action of a semigroup on a set.
using RightAction = Action<Element, Point, Func, Traits, side::right> |
This class represents the right action of a semigroup on a set.