Eigen::internal::group_theory::enumerate_group_elements< Multiply, Equality, id, Generators_ > Class Template Reference

Enumerate all elements in a finite group. More...

#include <TemplateGroupTheory.h>

Inheritance diagram for Eigen::internal::group_theory::enumerate_group_elements< Multiply, Equality, id, Generators_ >:

Additional Inherited Members
Public Types inherited from Eigen::internal::group_theory::enumerate_group_elements_noid< Multiply, Equality, id, strip_identities< Equality, id, Generators_ >::type, strip_identities< Equality, id, Generators_ >::global_flags >
typedef dimino_first_step_elements< Multiply, Equality, id, strip_identities< Equality, id, Generators_ >::type >	first_step
typedef first_step::type	first_step_elements
typedef dimino_add_remaining_generators< Multiply, Equality, id, typename first_step::generators_done, typename first_step::next_generators, typename first_step::type >	_helper
typedef _helper::type	type
Static Public Attributes inherited from Eigen::internal::group_theory::enumerate_group_elements_noid< Multiply, Equality, id, strip_identities< Equality, id, Generators_ >::type, strip_identities< Equality, id, Generators_ >::global_flags >
constexpr static int	global_flags

Detailed Description

template<template< typename, typename > class Multiply, template< typename, typename > class Equality, typename id, typename Generators_>
class Eigen::internal::group_theory::enumerate_group_elements< Multiply, Equality, id, Generators_ >

Enumerate all elements in a finite group.

This template enumerates all elements in a finite group. It accepts the following template parameters:

Template Parameters

Multiply	The multiplication operation that multiplies two group elements with each other.
Equality	The equality check operation that checks if two group elements are equal to another.
id	The identity element
Generators_	A list of (possibly redundant) generators of the group

---

The documentation for this class was generated from the following file:

• TemplateGroupTheory.h