Classes
struct	builder_traits
	Base builder traits. More...

struct	builder_traits< CanonicalFormBuilder< DecVarDom, CoordMap, CB, EqMap, CanonicalTrace > >
	builder type traits of cone block builder More...

struct	CanonicalFormBuilder
	Builder for conic canonical forms. More...

struct	Cone
	cone base class More...

struct	cone_block_traits
	Base cone block traits. More...

struct	cone_block_traits< ConeBlock< Map, Cs... > >
	Cone block traits specialization. More...

struct	cone_traits
	Base cone traits. More...

struct	cone_traits< ExpCone< Vec > >
	Cone traits for ExpCone. More...

struct	cone_traits< NonnegOrthantCone< Vec > >
	Cone traits for NonnegOrthantCone. More...

struct	cone_traits< PositiveSemidefiniteCone< Vec, Dim > >
	Cone traits for PositiveSemidefiniteCone. More...

struct	cone_traits< PowerCone< Vec > >
	Cone traits for PowerCone. More...

struct	cone_traits< SecondOrderCone< Vec > >
	Cone traits for SecondOrderCone. More...

struct	cone_tuple_traits
	Base traits for tuples of cones. More...

struct	cone_tuple_traits< std::tuple< Cs... > >
	Cone tuple traits specialization. More...

struct	ConeBlock
	Cone block. More...

struct	emission_traits
	Base traits for atom-local canonical emissions. More...

struct	emission_traits< LocalEmission< CoordMap, ConeTuple, EqMap, Trace > >
	Traits specialization for LocalEmission. More...

struct	emission_traits< LocalEqualityEmission< EqMap, Trace > >
	Traits specialization for LocalEqualityEmission. More...

struct	ExpCone
	forward decl for exp More...

struct	LocalEmission
	Atom-local canonical emission bundle. More...

struct	LocalEqualityEmission
	Atom-local equality emission bundle. More...

struct	NonnegOrthantCone
	forward decl for nonneg orthant cone More...

struct	PositiveSemidefiniteCone
	forward decl for psd More...

struct	PowerCone
	forward decl for power More...

struct	PSDCirc
	Circ - Jordan map/product for the PSD cone. More...

struct	Rotated2SOC
	RSOC -> SOC. More...

struct	RplusCirc
	Circ - Jordan Map/Product for R^n_+. More...

struct	SecondOrderCone
	forward decl for soc More...

struct	SOCCirc
	Circ - Jordan Map/Product for SOC. More...

Concepts
concept	LocalEmissionLike
	Concept for fixed-size atom-local canonical emission bundles.

concept	LocalEqualityEmissionLike
	Concept for fixed-size atom-local equality emission bundles.

concept	ConeBlockLike
	concept for cone block like used in canonical form

concept	BuilderLike
	Concept for canonicalization builder objects.

Typedefs
using	EmptyTrace = convex::EmptyCanonicalTrace
	Empty canonical provenance trace.

template<typename Emission >
using	emission_local_coord_map_t = typename emission_traits< linalg::remove_cvref_t< Emission > >::LocalCoordinateMap

template<typename Emission >
using	emission_cones_t = typename emission_traits< linalg::remove_cvref_t< Emission > >::Cones

template<typename Emission >
using	emission_local_eq_map_t = typename emission_traits< linalg::remove_cvref_t< Emission > >::LocalEqualityMap

template<typename Emission >
using	emission_trace_t = typename emission_traits< linalg::remove_cvref_t< Emission > >::TraceT

template<typename Emission >
using	emission_coord_map_t = emission_local_coord_map_t< Emission >

template<typename Emission >
using	emission_eq_map_t = emission_local_eq_map_t< Emission >

template<class Cone >
using	cone_scalar_t = typename cone_traits< linalg::remove_cvref_t< Cone > >::T
	alias for scalar type in cone

template<class Cone >
using	cone_slack_t = typename cone_traits< linalg::remove_cvref_t< Cone > >::SlackT
	alias for slack type in cone

template<typename CB >
using	cone_block_map_t = typename cone_block_traits< linalg::remove_cvref_t< CB > >::FMap
	alias for extracting F map from cone block

template<typename Builder >
using	builder_dom_t = typename builder_traits< linalg::remove_cvref_t< Builder > >::Dom
	builder domain

template<typename Builder >
using	builder_map_t = typename builder_traits< linalg::remove_cvref_t< Builder > >::Map
	builder map

template<typename Builder >
using	builder_cb_t = typename builder_traits< linalg::remove_cvref_t< Builder > >::ConeBlock
	builder cone block

template<typename Builder >
using	builder_eq_t = typename builder_traits< linalg::remove_cvref_t< Builder > >::EqualityMap
	builder equality map

template<typename Builder >
using	builder_canonical_trace_t = typename builder_traits< linalg::remove_cvref_t< Builder > >::CanonicalTraceT
	builder canonical trace

Enumerations
enum struct	ConeType : uint8_t { SYMMETRIC = 0 , ASYMMETRIC }
	cone type More...

Functions
template<typename CoordMap , typename ConeTuple , typename EqMap >
	LocalEmission (const CoordMap &, const ConeTuple &, const EqMap &) -> LocalEmission< CoordMap, ConeTuple, EqMap >
	Deduce LocalEmission template arguments from fixed local components.

template<typename CoordMap , typename ConeTuple , typename EqMap , typename Trace >
	LocalEmission (const CoordMap &, const ConeTuple &, const EqMap &, const Trace &) -> LocalEmission< CoordMap, ConeTuple, EqMap, Trace >
	Deduce LocalEmission template arguments when a trace is supplied.

template<typename EqMap >
	LocalEqualityEmission (const EqMap &) -> LocalEqualityEmission< EqMap >
	Deduce LocalEqualityEmission template arguments from equality rows.

template<typename EqMap , typename Trace >
	LocalEqualityEmission (const EqMap &, const Trace &) -> LocalEqualityEmission< EqMap, Trace >
	Deduce LocalEqualityEmission template arguments when trace exists.

template<linalg::RnSpace DecVarDom, affine::AffineMapLike CoordMap, conic::ConeBlockLike CB, affine::AffineMapLike EqMap, typename CanonicalTrace = convex::EmptyCanonicalTrace>
constexpr auto	make_builder (const CoordMap &coord_map, const CB &cb, const EqMap &eq_map, const CanonicalTrace &canonical_trace={})
	Construct a canonical-form builder while deducing all realized component types (aside from dec var dom)

template<linalg::Field T>
constexpr auto	create_empty_cblk ()
	Create an empty cone block.

template<linalg::Field T>
constexpr auto	create_empty_eq_map ()
	Create an empty equality affine map.

template<linalg::RnSpace DecVarDom>
constexpr auto	create_empty_cblk_builder ()
	Create an empty canonical-form builder.

Variables
template<typename Emission >
constexpr std::size_t	emission_local_coord_rows_v

template<typename Emission >
constexpr std::size_t	emission_local_coord_cols_v

template<typename Emission >
constexpr std::size_t	emission_num_cones_v

template<typename Emission >
constexpr std::size_t	emission_local_cone_dim_v

template<typename Emission >
constexpr std::size_t	emission_local_eq_rows_v

template<typename Emission >
constexpr std::size_t	emission_local_eq_cols_v

template<typename Emission >
constexpr std::size_t	emission_coord_rows_v

template<typename Emission >
constexpr std::size_t	emission_coord_cols_v

template<typename Emission >
constexpr std::size_t	emission_cone_dim_v

template<typename Emission >
constexpr std::size_t	emission_eq_rows_v

template<typename Emission >
constexpr std::size_t	emission_eq_cols_v

template<class Cone >
constexpr bool	is_cone_symmetric_v
	helper to see if cone is symmetric

template<class Cone >
constexpr std::size_t	cone_dim_t
	helper to get N from cone

template<typename ConeTuple >
constexpr std::size_t	cone_tuple_num_cones_v
	Number of cones in a fixed cone tuple.

template<typename ConeTuple >
constexpr std::size_t	cone_tuple_local_cone_dim_v
	Total cone coordinate dimension represented by a fixed cone tuple.

template<typename ConeTuple >
constexpr std::size_t	cone_tuple_dim_v
	Compatibility alias for total local cone coordinate dimension.

template<typename CB >
constexpr std::size_t	cone_block_num_cones_v
	helper to extract number of cones from cone block

template<typename CB >
constexpr std::size_t	cone_block_local_cone_dim_v
	total coordinate dimension spanned by the cone tuple

template<typename CB >
constexpr std::size_t	cone_block_cone_dim_v
	Compatibility alias for local cone coordinate dimension.

template<typename CB >
constexpr std::size_t	cone_block_map_rows_v
	number of rows in the cone block affine map

template<typename CB >
constexpr std::size_t	cone_block_map_cols_v
	number of columns in the cone block affine map

template<typename Builder >
constexpr std::size_t	builder_dec_dim_v
	original decision-variable dimension tracked by a builder

template<typename Builder >
constexpr std::size_t	builder_coord_rows_v
	current coordinate selector row count

template<typename Builder >
constexpr std::size_t	builder_coord_cols_v
	current coordinate selector column count

template<typename Builder >
constexpr std::size_t	builder_coord_aux_dim_v
	auxiliary columns visible to the current coordinate selector

template<typename Builder >
constexpr std::size_t	builder_cone_rows_v
	current cone affine-map row count

template<typename Builder >
constexpr std::size_t	builder_cone_cols_v
	current cone affine-map column count

template<typename Builder >
constexpr std::size_t	builder_cone_aux_dim_v
	auxiliary columns visible to the current cone map

template<typename Builder >
constexpr std::size_t	builder_cone_count_v
	number of cones currently accumulated by a builder

template<typename Builder >
constexpr std::size_t	builder_local_cone_dim_v
	total local cone coordinate dimension currently realized by a builder

template<typename Builder >
constexpr std::size_t	builder_cone_dim_v
	Compatibility alias for realized local cone coordinate dimension.

template<typename Builder >
constexpr std::size_t	builder_eq_rows_v
	current equality affine-map row count

template<typename Builder >
constexpr std::size_t	builder_eq_cols_v
	current equality affine-map column count

template<typename Builder >
constexpr std::size_t	builder_eq_aux_dim_v
	auxiliary columns visible to the current equality map

template<typename Builder >
constexpr std::size_t	builder_full_dim_v
	widest canonical domain currently visible to cone or equality rows

Typedef Documentation

◆ builder_canonical_trace_t

template<typename Builder >

using conic::builder_canonical_trace_t = typedef typename builder_traits<linalg::remove_cvref_t<Builder> >::CanonicalTraceT

builder canonical trace

Definition at line 270 of file cone_traits.hpp.

◆ builder_cb_t

template<typename Builder >

using conic::builder_cb_t = typedef typename builder_traits<linalg::remove_cvref_t<Builder> >::ConeBlock

builder cone block

Definition at line 260 of file cone_traits.hpp.

◆ builder_dom_t

template<typename Builder >

using conic::builder_dom_t = typedef typename builder_traits<linalg::remove_cvref_t<Builder> >::Dom

builder domain

Definition at line 250 of file cone_traits.hpp.

◆ builder_eq_t

template<typename Builder >

using conic::builder_eq_t = typedef typename builder_traits<linalg::remove_cvref_t<Builder> >::EqualityMap

builder equality map

Definition at line 265 of file cone_traits.hpp.

◆ builder_map_t

template<typename Builder >

using conic::builder_map_t = typedef typename builder_traits<linalg::remove_cvref_t<Builder> >::Map

builder map

Definition at line 255 of file cone_traits.hpp.

◆ cone_block_map_t

template<typename CB >

using conic::cone_block_map_t = typedef typename cone_block_traits<linalg::remove_cvref_t<CB> >::FMap

alias for extracting F map from cone block

Definition at line 159 of file cone_traits.hpp.

◆ cone_scalar_t

template<class Cone >

using conic::cone_scalar_t = typedef typename cone_traits<linalg::remove_cvref_t<Cone> >::T

alias for scalar type in cone

Definition at line 92 of file cone_traits.hpp.

◆ cone_slack_t

template<class Cone >

using conic::cone_slack_t = typedef typename cone_traits<linalg::remove_cvref_t<Cone> >::SlackT

alias for slack type in cone

Definition at line 96 of file cone_traits.hpp.

◆ emission_cones_t

template<typename Emission >

using conic::emission_cones_t = typedef typename emission_traits<linalg::remove_cvref_t<Emission> >::Cones

Definition at line 175 of file canonical_emission.hpp.

◆ emission_coord_map_t

template<typename Emission >

using conic::emission_coord_map_t = typedef emission_local_coord_map_t<Emission>

Definition at line 211 of file canonical_emission.hpp.

◆ emission_eq_map_t

template<typename Emission >

using conic::emission_eq_map_t = typedef emission_local_eq_map_t<Emission>

Definition at line 214 of file canonical_emission.hpp.

◆ emission_local_coord_map_t

template<typename Emission >

using conic::emission_local_coord_map_t = typedef typename emission_traits< linalg::remove_cvref_t<Emission> >::LocalCoordinateMap

Definition at line 171 of file canonical_emission.hpp.

◆ emission_local_eq_map_t

template<typename Emission >

using conic::emission_local_eq_map_t = typedef typename emission_traits< linalg::remove_cvref_t<Emission> >::LocalEqualityMap

Definition at line 179 of file canonical_emission.hpp.

◆ emission_trace_t

template<typename Emission >

using conic::emission_trace_t = typedef typename emission_traits<linalg::remove_cvref_t<Emission> >::TraceT

Definition at line 183 of file canonical_emission.hpp.

◆ EmptyTrace

using conic::EmptyTrace = typedef convex::EmptyCanonicalTrace

Empty canonical provenance trace.

This is the zero-cost release/default trace carrier. Rich canonical provenance can later specialize the same typed trace slot without changing emission assembly APIs.

Definition at line 21 of file canonical_emission.hpp.

Enumeration Type Documentation

◆ ConeType

enum struct conic::ConeType : uint8_t

strong

cone type

Enumerator
SYMMETRIC
ASYMMETRIC

Definition at line 15 of file cone_traits.hpp.

Function Documentation

◆ create_empty_cblk()

template<linalg::Field T>

constexpr auto conic::create_empty_cblk ( )

constexpr

Create an empty cone block.

Template Parameters

T	scalar field for the empty affine map

Returns: empty cone block

Definition at line 448 of file canonical_form_builder.hpp.

◆ create_empty_cblk_builder()

template<linalg::RnSpace DecVarDom>

constexpr auto conic::create_empty_cblk_builder ( )

constexpr

Create an empty canonical-form builder.

Template Parameters

DecVarDom original decision-variable domain

Returns: cone block builder

Definition at line 474 of file canonical_form_builder.hpp.

◆ create_empty_eq_map()

template<linalg::Field T>

constexpr auto conic::create_empty_eq_map ( )

constexpr

Create an empty equality affine map.

Template Parameters

T	scalar field for the empty affine map

Returns: equality affine map

Definition at line 463 of file canonical_form_builder.hpp.

◆ LocalEmission() [1/2]

template<typename CoordMap , typename ConeTuple , typename EqMap >

conic::LocalEmission	(	const CoordMap &	,
		const ConeTuple &	,
		const EqMap &
	)		-> LocalEmission< CoordMap, ConeTuple, EqMap >

Deduce LocalEmission template arguments from fixed local components.

This keeps atom code readable as LocalEmission(map, cones, eq_map) while preserving the exact constexpr component types. The omitted trace argument uses the default EmptyTrace carrier.

◆ LocalEmission() [2/2]

template<typename CoordMap , typename ConeTuple , typename EqMap , typename Trace >

conic::LocalEmission	(	const CoordMap &	,
		const ConeTuple &	,
		const EqMap &	,
		const Trace &
	)		-> LocalEmission< CoordMap, ConeTuple, EqMap, Trace >

Deduce LocalEmission template arguments when a trace is supplied.

◆ LocalEqualityEmission() [1/2]

template<typename EqMap >

conic::LocalEqualityEmission ( const EqMap & ) -> LocalEqualityEmission< EqMap >

Deduce LocalEqualityEmission template arguments from equality rows.

◆ LocalEqualityEmission() [2/2]

template<typename EqMap , typename Trace >

conic::LocalEqualityEmission	(	const EqMap &	,
		const Trace &
	)		-> LocalEqualityEmission< EqMap, Trace >

Deduce LocalEqualityEmission template arguments when trace exists.

◆ make_builder()

template<linalg::RnSpace DecVarDom, affine::AffineMapLike CoordMap, conic::ConeBlockLike CB, affine::AffineMapLike EqMap, typename CanonicalTrace = convex::EmptyCanonicalTrace>

constexpr auto conic::make_builder	(	const CoordMap &	coord_map,
		const CB &	cb,
		const EqMap &	eq_map,
		const CanonicalTrace &	canonical_trace = `{}`
	)

constexpr

Construct a canonical-form builder while deducing all realized component types (aside from dec var dom)

Parameters

coord_map	(CoordMap)
cb	(ConeBlock)
eq_map	(AffineMap)
canonical_trace	(CanonicalTrace)

Returns: builder

Definition at line 434 of file canonical_form_builder.hpp.

Referenced by convex::ConvexProblem< Builder, Stage >::minimize().

Variable Documentation

◆ builder_cone_aux_dim_v

template<typename Builder >

constexpr std::size_t conic::builder_cone_aux_dim_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::ConeAuxDim

auxiliary columns visible to the current cone map

Definition at line 305 of file cone_traits.hpp.

◆ builder_cone_cols_v

template<typename Builder >

constexpr std::size_t conic::builder_cone_cols_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::ConeCols

current cone affine-map column count

Definition at line 300 of file cone_traits.hpp.

◆ builder_cone_count_v

template<typename Builder >

constexpr std::size_t conic::builder_cone_count_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::ConeCount

number of cones currently accumulated by a builder

Definition at line 310 of file cone_traits.hpp.

◆ builder_cone_dim_v

template<typename Builder >

constexpr std::size_t conic::builder_cone_dim_v

inlineconstexpr

Initial value:

=

builder_local_cone_dim_v<Builder>

Compatibility alias for realized local cone coordinate dimension.

Definition at line 320 of file cone_traits.hpp.

◆ builder_cone_rows_v

template<typename Builder >

constexpr std::size_t conic::builder_cone_rows_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::ConeRows

current cone affine-map row count

Definition at line 295 of file cone_traits.hpp.

◆ builder_coord_aux_dim_v

template<typename Builder >

constexpr std::size_t conic::builder_coord_aux_dim_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::CoordAuxDim

auxiliary columns visible to the current coordinate selector

Definition at line 290 of file cone_traits.hpp.

◆ builder_coord_cols_v

template<typename Builder >

constexpr std::size_t conic::builder_coord_cols_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::CoordCols

current coordinate selector column count

Definition at line 285 of file cone_traits.hpp.

◆ builder_coord_rows_v

template<typename Builder >

constexpr std::size_t conic::builder_coord_rows_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::CoordRows

current coordinate selector row count

Definition at line 280 of file cone_traits.hpp.

◆ builder_dec_dim_v

template<typename Builder >

constexpr std::size_t conic::builder_dec_dim_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::DecDim

original decision-variable dimension tracked by a builder

Definition at line 275 of file cone_traits.hpp.

◆ builder_eq_aux_dim_v

template<typename Builder >

constexpr std::size_t conic::builder_eq_aux_dim_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::EqAuxDim

auxiliary columns visible to the current equality map

Definition at line 335 of file cone_traits.hpp.

◆ builder_eq_cols_v

template<typename Builder >

constexpr std::size_t conic::builder_eq_cols_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::EqCols

current equality affine-map column count

Definition at line 330 of file cone_traits.hpp.

◆ builder_eq_rows_v

template<typename Builder >

constexpr std::size_t conic::builder_eq_rows_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::EqRows

current equality affine-map row count

Definition at line 325 of file cone_traits.hpp.

◆ builder_full_dim_v

template<typename Builder >

constexpr std::size_t conic::builder_full_dim_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::FullDim

widest canonical domain currently visible to cone or equality rows

Definition at line 340 of file cone_traits.hpp.

◆ builder_local_cone_dim_v

template<typename Builder >

constexpr std::size_t conic::builder_local_cone_dim_v

inlineconstexpr

Initial value:

=

builder_traits<linalg::remove_cvref_t<Builder>>::LocalConeDim

total local cone coordinate dimension currently realized by a builder

Definition at line 315 of file cone_traits.hpp.

◆ cone_block_cone_dim_v

template<typename CB >

constexpr std::size_t conic::cone_block_cone_dim_v

inlineconstexpr

Initial value:

=

cone_block_local_cone_dim_v<CB>

Compatibility alias for local cone coordinate dimension.

Definition at line 174 of file cone_traits.hpp.

◆ cone_block_local_cone_dim_v

template<typename CB >

constexpr std::size_t conic::cone_block_local_cone_dim_v

inlineconstexpr

Initial value:

=

cone_block_traits<linalg::remove_cvref_t<CB>>::LocalConeDim

total coordinate dimension spanned by the cone tuple

Definition at line 169 of file cone_traits.hpp.

◆ cone_block_map_cols_v

template<typename CB >

constexpr std::size_t conic::cone_block_map_cols_v

inlineconstexpr

Initial value:

=

cone_block_traits<linalg::remove_cvref_t<CB>>::MapCols

number of columns in the cone block affine map

Definition at line 184 of file cone_traits.hpp.

◆ cone_block_map_rows_v

template<typename CB >

constexpr std::size_t conic::cone_block_map_rows_v

inlineconstexpr

Initial value:

=

cone_block_traits<linalg::remove_cvref_t<CB>>::MapRows

number of rows in the cone block affine map

Definition at line 179 of file cone_traits.hpp.

◆ cone_block_num_cones_v

template<typename CB >

constexpr std::size_t conic::cone_block_num_cones_v

inlineconstexpr

Initial value:

=

cone_block_traits<linalg::remove_cvref_t<CB>>::NumCones

helper to extract number of cones from cone block

Definition at line 164 of file cone_traits.hpp.

◆ cone_dim_t

template<class Cone >

constexpr std::size_t conic::cone_dim_t

inlineconstexpr

Initial value:

=

cone_traits<linalg::remove_cvref_t<Cone>>::N

helper to get N from cone

Definition at line 105 of file cone_traits.hpp.

Referenced by conic::ConeBlock< Map, Cs >::validate().

◆ cone_tuple_dim_v

template<typename ConeTuple >

constexpr std::size_t conic::cone_tuple_dim_v

inlineconstexpr

Initial value:

=

cone_tuple_local_cone_dim_v<ConeTuple>

Compatibility alias for total local cone coordinate dimension.

Definition at line 132 of file cone_traits.hpp.

◆ cone_tuple_local_cone_dim_v

template<typename ConeTuple >

constexpr std::size_t conic::cone_tuple_local_cone_dim_v

inlineconstexpr

Initial value:

=

cone_tuple_traits<linalg::remove_cvref_t<ConeTuple>>::LocalConeDim

Total cone coordinate dimension represented by a fixed cone tuple.

Definition at line 127 of file cone_traits.hpp.

◆ cone_tuple_num_cones_v

template<typename ConeTuple >

constexpr std::size_t conic::cone_tuple_num_cones_v

inlineconstexpr

Initial value:

=

cone_tuple_traits<linalg::remove_cvref_t<ConeTuple>>::NumCones

Number of cones in a fixed cone tuple.

Definition at line 122 of file cone_traits.hpp.

◆ emission_cone_dim_v

template<typename Emission >

constexpr std::size_t conic::emission_cone_dim_v

inlineconstexpr

Initial value:

=

emission_local_cone_dim_v<Emission>

Definition at line 225 of file canonical_emission.hpp.

◆ emission_coord_cols_v

template<typename Emission >

constexpr std::size_t conic::emission_coord_cols_v

inlineconstexpr

Initial value:

=

emission_local_coord_cols_v<Emission>

Definition at line 221 of file canonical_emission.hpp.

◆ emission_coord_rows_v

template<typename Emission >

constexpr std::size_t conic::emission_coord_rows_v

inlineconstexpr

Initial value:

=

emission_local_coord_rows_v<Emission>

Definition at line 217 of file canonical_emission.hpp.

◆ emission_eq_cols_v

template<typename Emission >

constexpr std::size_t conic::emission_eq_cols_v

inlineconstexpr

Initial value:

=

emission_local_eq_cols_v<Emission>

Definition at line 233 of file canonical_emission.hpp.

◆ emission_eq_rows_v

template<typename Emission >

constexpr std::size_t conic::emission_eq_rows_v

inlineconstexpr

Initial value:

=

emission_local_eq_rows_v<Emission>

Definition at line 229 of file canonical_emission.hpp.

◆ emission_local_cone_dim_v

template<typename Emission >

constexpr std::size_t conic::emission_local_cone_dim_v

inlineconstexpr

Initial value:

=

emission_traits<linalg::remove_cvref_t<Emission>>::LocalConeDim

Definition at line 199 of file canonical_emission.hpp.

◆ emission_local_coord_cols_v

template<typename Emission >

constexpr std::size_t conic::emission_local_coord_cols_v

inlineconstexpr

Initial value:

=

emission_traits<linalg::remove_cvref_t<Emission>>::LocalCoordCols

Definition at line 191 of file canonical_emission.hpp.

◆ emission_local_coord_rows_v

template<typename Emission >

constexpr std::size_t conic::emission_local_coord_rows_v

inlineconstexpr

Initial value:

=

emission_traits<linalg::remove_cvref_t<Emission>>::LocalCoordRows

Definition at line 187 of file canonical_emission.hpp.

◆ emission_local_eq_cols_v

template<typename Emission >

constexpr std::size_t conic::emission_local_eq_cols_v

inlineconstexpr

Initial value:

=

emission_traits<linalg::remove_cvref_t<Emission>>::LocalEqCols

Definition at line 207 of file canonical_emission.hpp.

◆ emission_local_eq_rows_v

template<typename Emission >

constexpr std::size_t conic::emission_local_eq_rows_v

inlineconstexpr

Initial value:

=

emission_traits<linalg::remove_cvref_t<Emission>>::LocalEqRows

Definition at line 203 of file canonical_emission.hpp.

◆ emission_num_cones_v

template<typename Emission >

constexpr std::size_t conic::emission_num_cones_v

inlineconstexpr

Initial value:

=

emission_traits<linalg::remove_cvref_t<Emission>>::NumCones

Definition at line 195 of file canonical_emission.hpp.

◆ is_cone_symmetric_v

template<class Cone >

constexpr bool conic::is_cone_symmetric_v

inlineconstexpr

Initial value:

=

cone_traits<linalg::remove_cvref_t<Cone>>::CT == ConeType::SYMMETRIC

helper to see if cone is symmetric

Definition at line 100 of file cone_traits.hpp.

Classes

Concepts

Typedefs

Enumerations

Functions

Variables

Typedef Documentation

◆ builder_canonical_trace_t

◆ builder_cb_t

◆ builder_dom_t

◆ builder_eq_t

◆ builder_map_t

◆ cone_block_map_t

◆ cone_scalar_t

◆ cone_slack_t

◆ emission_cones_t

◆ emission_coord_map_t

◆ emission_eq_map_t

◆ emission_local_coord_map_t

◆ emission_local_eq_map_t

◆ emission_trace_t

◆ EmptyTrace

Enumeration Type Documentation

◆ ConeType

Function Documentation

◆ create_empty_cblk()

◆ create_empty_cblk_builder()

◆ create_empty_eq_map()

◆ LocalEmission() [1/2]

◆ LocalEmission() [2/2]

◆ LocalEqualityEmission() [1/2]

◆ LocalEqualityEmission() [2/2]

◆ make_builder()

Variable Documentation

◆ builder_cone_aux_dim_v

◆ builder_cone_cols_v

◆ builder_cone_count_v

◆ builder_cone_dim_v

◆ builder_cone_rows_v

◆ builder_coord_aux_dim_v

◆ builder_coord_cols_v

◆ builder_coord_rows_v

◆ builder_dec_dim_v

◆ builder_eq_aux_dim_v

◆ builder_eq_cols_v

◆ builder_eq_rows_v

◆ builder_full_dim_v

◆ builder_local_cone_dim_v

◆ cone_block_cone_dim_v

◆ cone_block_local_cone_dim_v

◆ cone_block_map_cols_v

◆ cone_block_map_rows_v

◆ cone_block_num_cones_v

◆ cone_dim_t

◆ cone_tuple_dim_v

◆ cone_tuple_local_cone_dim_v

◆ cone_tuple_num_cones_v

◆ emission_cone_dim_v

◆ emission_coord_cols_v

◆ emission_coord_rows_v

◆ emission_eq_cols_v

◆ emission_eq_rows_v

◆ emission_local_cone_dim_v

◆ emission_local_coord_cols_v

◆ emission_local_coord_rows_v

◆ emission_local_eq_cols_v

◆ emission_local_eq_rows_v

◆ emission_num_cones_v

◆ is_cone_symmetric_v