SchreierSimsTraits

template<size_t N, typename TPointType, typename TElementType>
struct SchreierSimsTraits

Defined in schreier-sims.hpp.

This is a traits class for use with the class template SchreierSims.

This traits class contains stateless types which are used to adapt any class representing a permutation for the implementation of the Schreier-Sims algorithm in the SchreierSims class template.

Template Parameters:
  • N – the largest point not fixed by the permutations in the permutation group to be represented by a SchreierSims instance.

  • TPointType – the type of the points acted on.

  • TElementType – the type of the group elements acting on TPointType.

Stateful type aliases

domain_type

Type of the object containing all points acted on.

element_type

Type of the elements.

index_type

The type of indices to be used by a SchreierSims instance.

point_type

Stateless type aliases

Action

Degree

EqualTo

Inverse

One

Product

Swap