akreon-convex
Typed convex modeling, conic canonicalization, and primal-dual optimization in C++26.
Loading...
Searching...
No Matches
conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace > Struct Template Reference

Atom-local canonical emission bundle. More...

#include <canonical_emission.hpp>

Public Types

using Tuple = linalg::remove_cvref_t< ConeTuple >
 

Public Member Functions

constexpr LocalEmission (const CoordMap &coord_map_in, const Tuple &cones_in, const EqMap &eq_map_in)
 CTOR.
 

Public Attributes

CoordMap local_coord_map
 public member vars
 
ConeTuple local_cones
 Local cones in emission.
 
EqMap local_eq_map
 Local equality map.
 
Trace trace
 Trace object.
 

Static Public Attributes

static constexpr std::size_t local_coord_rows
 
static constexpr std::size_t local_coord_cols
 
static constexpr std::size_t cone_count = cone_tuple_num_cones_v<Tuple>
 
static constexpr std::size_t local_cone_dim
 
static constexpr std::size_t local_eq_rows
 
static constexpr std::size_t local_eq_cols
 

Detailed Description

template<affine::AffineMapLike CoordMap, typename ConeTuple, affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
struct conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >

Atom-local canonical emission bundle.

Atoms own the local canonical recipe. This bundle names the result of that recipe without implying runtime mutation or heap-backed growth: all fields are fixed-size, constexpr-friendly types. The local coordinate map is not the builder's global coordinate selector; it is the cone/equality recipe the builder realizes into the global canonical layout.

Definition at line 34 of file canonical_emission.hpp.

Member Typedef Documentation

◆ Tuple

template<affine::AffineMapLike CoordMap, typename ConeTuple , affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
using conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >::Tuple = linalg::remove_cvref_t<ConeTuple>

Definition at line 35 of file canonical_emission.hpp.

Constructor & Destructor Documentation

◆ LocalEmission()

template<affine::AffineMapLike CoordMap, typename ConeTuple , affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
constexpr conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >::LocalEmission ( const CoordMap &  coord_map_in,
const Tuple &  cones_in,
const EqMap &  eq_map_in 
)
inlineexplicitconstexpr

CTOR.

Parameters
coord_map_in(CoordMap)
cones_in(ConeTuple)
eq_map_in(EqMap)

Definition at line 56 of file canonical_emission.hpp.

Member Data Documentation

◆ cone_count

template<affine::AffineMapLike CoordMap, typename ConeTuple , affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
constexpr std::size_t conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >::cone_count = cone_tuple_num_cones_v<Tuple>
staticconstexpr

Definition at line 41 of file canonical_emission.hpp.

◆ local_cone_dim

template<affine::AffineMapLike CoordMap, typename ConeTuple , affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
constexpr std::size_t conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >::local_cone_dim
staticconstexpr
Initial value:
=
cone_tuple_local_cone_dim_v<Tuple>

Definition at line 42 of file canonical_emission.hpp.

◆ local_cones

template<affine::AffineMapLike CoordMap, typename ConeTuple , affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
ConeTuple conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >::local_cones

Local cones in emission.

Definition at line 64 of file canonical_emission.hpp.

◆ local_coord_cols

template<affine::AffineMapLike CoordMap, typename ConeTuple , affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
constexpr std::size_t conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >::local_coord_cols
staticconstexpr
Initial value:
=
linalg::mat_cols_v<affine::affine_mat_t<CoordMap>>

Definition at line 39 of file canonical_emission.hpp.

◆ local_coord_map

template<affine::AffineMapLike CoordMap, typename ConeTuple , affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
CoordMap conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >::local_coord_map

public member vars

Local coord map for emission

Definition at line 63 of file canonical_emission.hpp.

◆ local_coord_rows

template<affine::AffineMapLike CoordMap, typename ConeTuple , affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
constexpr std::size_t conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >::local_coord_rows
staticconstexpr
Initial value:
=
linalg::mat_rows_v<affine::affine_mat_t<CoordMap>>

Definition at line 37 of file canonical_emission.hpp.

◆ local_eq_cols

template<affine::AffineMapLike CoordMap, typename ConeTuple , affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
constexpr std::size_t conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >::local_eq_cols
staticconstexpr
Initial value:
=
linalg::mat_cols_v<affine::affine_mat_t<EqMap>>

Definition at line 46 of file canonical_emission.hpp.

◆ local_eq_map

template<affine::AffineMapLike CoordMap, typename ConeTuple , affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
EqMap conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >::local_eq_map

Local equality map.

Definition at line 65 of file canonical_emission.hpp.

◆ local_eq_rows

template<affine::AffineMapLike CoordMap, typename ConeTuple , affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
constexpr std::size_t conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >::local_eq_rows
staticconstexpr
Initial value:
=
linalg::mat_rows_v<affine::affine_mat_t<EqMap>>

Definition at line 44 of file canonical_emission.hpp.

◆ trace

template<affine::AffineMapLike CoordMap, typename ConeTuple , affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
Trace conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >::trace

Trace object.

Definition at line 66 of file canonical_emission.hpp.


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