Lattice land propagators completion library
|
#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 bool | is_absorbing (const U &a) |
static CUDA void | rev_op (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 |
using lala::pc::GroupAdd< Universe >::U = Universe |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
staticconstexpr |
|
staticconstexpr |