KoniecznyTraits

template<typename TElementType>
struct KoniecznyTraits

Defined in konieczny.hpp.

This is a traits class for use with Konieczny.

See also

Konieczny

Template Parameters

TElementType – the type of the elements.

Member types

const_element_type

The type of const elements of a Konieczny instance.

element_type

The type of the elements of a Konieczny instance with const removed.

lambda_orb_type

The type of the orbit of the lambda values under ImageRightAction .

lambda_value_type

Alias for LambdaValue with template parameter element_type .

rank_state_type

Alias for RhoValue with template parameter element_type .

rho_orb_type

The type of the orbit of the rho values under ImageLeftAction .

rho_value_type

Alias for RhoValue with template parameter element_type .

Adapters

Degree

Adapter for the degree of an element.

ElementHash

Adapter for hashing.

EqualTo

Adapter for testing equality.

Lambda

Adapter for the action on LambdaValue ‘s.

Less

Adapter for comparisons.

One

Adapter for the identity element of the given type.

Product

Adapter for the product of two elements.

Rank

Adapter for calculating ranks.

Rho

Adapter for the action on RhoValue ‘s.

Swap

Adapter for swapping.