convex::CanonicalTrace< NodeRecords, ConeRecords, EqualityRecords > Struct Template Reference

Compile-time canonicalization trace. More...

#include <canonical_trace.hpp>

Public Attributes
NodeRecords	nodes {}
	Canonical node records.
ConeRecords	cones {}
	Cone slice records.
EqualityRecords	equalities {}
	Equality slice records.

Detailed Description

template<typename NodeRecords = std::tuple<>, typename ConeRecords = std::tuple<>, typename EqualityRecords = std::tuple<>>
struct convex::CanonicalTrace< NodeRecords, ConeRecords, EqualityRecords >

Compile-time canonicalization trace.

The trace is tuple-backed to preserve constexpr/no-heap behavior while carrying enough structural metadata for runtime bindings to map final primal-dual values back to canonical atoms, cones, and equalities.

Definition at line 95 of file canonical_trace.hpp.

Member Data Documentation

cones

template<typename NodeRecords = std::tuple<>, typename ConeRecords = std::tuple<>, typename EqualityRecords = std::tuple<>>

ConeRecords convex::CanonicalTrace< NodeRecords, ConeRecords, EqualityRecords >::cones {}

Cone slice records.

Definition at line 97 of file canonical_trace.hpp.

equalities

template<typename NodeRecords = std::tuple<>, typename ConeRecords = std::tuple<>, typename EqualityRecords = std::tuple<>>

EqualityRecords convex::CanonicalTrace< NodeRecords, ConeRecords, EqualityRecords >::equalities {}

Equality slice records.

Definition at line 98 of file canonical_trace.hpp.

nodes

template<typename NodeRecords = std::tuple<>, typename ConeRecords = std::tuple<>, typename EqualityRecords = std::tuple<>>

NodeRecords convex::CanonicalTrace< NodeRecords, ConeRecords, EqualityRecords >::nodes {}

Canonical node records.

Definition at line 96 of file canonical_trace.hpp.

---

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

• include/akreon/convex/canonical_trace.hpp