lala::pc::GroupSub< Universe > Struct Template Reference

#include <terms.hpp>

Public Types
using	U = Universe

Static Public Member Functions
static CUDA void	project (const U &a, const U &b, U &r)
static CUDA void	left_residual (const U &a, const U &b, U &r)
static CUDA void	right_residual (const U &a, const U &b, U &r)
static CUDA char	symbol ()
static CUDA Sig	sig ()

Static Public Attributes
static constexpr bool	has_absorbing_element = false
static constexpr bool	prefix_symbol = false

Member Typedef Documentation

U

template<class Universe >

using lala::pc::GroupSub< Universe >::U = Universe

Member Function Documentation

project()

template<class Universe >

static CUDA void lala::pc::GroupSub< Universe >::project ( const U & a, const U & b, U & r )

inlinestatic

left_residual()

template<class Universe >

static CUDA void lala::pc::GroupSub< Universe >::left_residual ( const U & a, const U & b, U & r )

inlinestatic

right_residual()

template<class Universe >

static CUDA void lala::pc::GroupSub< Universe >::right_residual ( const U & a, const U & b, U & r )

inlinestatic

symbol()

template<class Universe >

static CUDA char lala::pc::GroupSub< Universe >::symbol ( )

inlinestatic

sig()

template<class Universe >

static CUDA Sig lala::pc::GroupSub< Universe >::sig ( )

inlinestatic

Member Data Documentation

has_absorbing_element

template<class Universe >

bool lala::pc::GroupSub< Universe >::has_absorbing_element = false

staticconstexpr

prefix_symbol

template<class Universe >

bool lala::pc::GroupSub< Universe >::prefix_symbol = false

staticconstexpr

---

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

• include/lala/terms.hpp