aerobus::Quotient< Ring, X >::val< V > Struct Template Reference

projection values in the quotient ring More...

#include <aerobus.h>

Public Types
using	raw_t = V
using	type = abs_t< typename Ring::template mod_t< V, X > >

Detailed Description

template<typename Ring, typename X>
template<typename V>
struct aerobus::Quotient< Ring, X >::val< V >

projection values in the quotient ring

Template Parameters

V	a value from 'Ring'

Member Typedef Documentation

raw_t

template<typename Ring , typename X >

template<typename V >

using aerobus::Quotient< Ring, X >::val< V >::raw_t = V

type

template<typename Ring , typename X >

template<typename V >

using aerobus::Quotient< Ring, X >::val< V >::type = abs_t<typename Ring::template mod_t<V, X> >

---

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

• src/aerobus.h