pasl::data::algebra::trivial Class Reference

[trivial] More...

#include <algebra.hpp>

Public Types
using	value_type = struct{}

Static Public Member Functions
static value_type	identity ()
static value_type	combine (value_type, value_type)
static value_type	inverse (value_type)

Static Public Attributes
static constexpr bool	has_inverse = true

Detailed Description

Trivial algebraic group whose sole element is a zero-byte structure

Definition at line 32 of file algebra.hpp.

Member Typedef Documentation

using pasl::data::algebra::trivial::value_type = struct { }

Definition at line 35 of file algebra.hpp.

Member Function Documentation

static value_type pasl::data::algebra::trivial::combine ( value_type  , value_type    )

inlinestatic

Definition at line 43 of file algebra.hpp.

static value_type pasl::data::algebra::trivial::identity ( )

inlinestatic

Definition at line 39 of file algebra.hpp.

static value_type pasl::data::algebra::trivial::inverse ( value_type  )

inlinestatic

Definition at line 47 of file algebra.hpp.

Member Data Documentation

constexpr bool pasl::data::algebra::trivial::has_inverse = true

static

Definition at line 37 of file algebra.hpp.

---

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

• include/algebra.hpp