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

Atom-local equality emission bundle. More...

#include <canonical_emission.hpp>

Public Member Functions

constexpr LocalEqualityEmission (const EqMap &eq_map_in)
 

Public Attributes

EqMap local_eq_map
 public member vars
 
Trace trace
 Trace object.
 

Static Public Attributes

static constexpr std::size_t local_eq_rows
 
static constexpr std::size_t local_eq_cols
 

Detailed Description

template<affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
struct conic::LocalEqualityEmission< EqMap, Trace >

Atom-local equality emission bundle.

Equality emissions are a separate canonical branch from cone emissions. They carry affine rows that must hold with equality and do not model those rows as nonnegative cone constraints.

Definition at line 77 of file canonical_emission.hpp.

Constructor & Destructor Documentation

◆ LocalEqualityEmission()

template<affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
constexpr conic::LocalEqualityEmission< EqMap, Trace >::LocalEqualityEmission ( const EqMap &  eq_map_in)
inlineexplicitconstexpr

Definition at line 83 of file canonical_emission.hpp.

Member Data Documentation

◆ local_eq_cols

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

Definition at line 80 of file canonical_emission.hpp.

◆ local_eq_map

template<affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
EqMap conic::LocalEqualityEmission< EqMap, Trace >::local_eq_map

public member vars

Local equality map

Definition at line 87 of file canonical_emission.hpp.

◆ local_eq_rows

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

Definition at line 78 of file canonical_emission.hpp.

◆ trace

template<affine::AffineMapLike EqMap, typename Trace = EmptyTrace>
Trace conic::LocalEqualityEmission< EqMap, Trace >::trace

Trace object.

Definition at line 88 of file canonical_emission.hpp.


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