canonical_emission.hpp File Reference

#include "akreon/linalg/affine/affine_map.hpp"
#include "akreon/convex/canonical_trace.hpp"
#include "akreon/convex/cone_traits.hpp"

Include dependency graph for canonical_emission.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	conic::LocalEmission< CoordMap, ConeTuple, EqMap, Trace >
	Atom-local canonical emission bundle. More...
struct	conic::LocalEqualityEmission< EqMap, Trace >
	Atom-local equality emission bundle. More...
struct	conic::emission_traits< LocalEmission< CoordMap, ConeTuple, EqMap, Trace > >
	Traits specialization for LocalEmission. More...
struct	conic::emission_traits< LocalEqualityEmission< EqMap, Trace > >
	Traits specialization for LocalEqualityEmission. More...

Namespaces
namespace	conic

Concepts
concept	conic::LocalEmissionLike
	Concept for fixed-size atom-local canonical emission bundles.
concept	conic::LocalEqualityEmissionLike
	Concept for fixed-size atom-local equality emission bundles.

Typedefs
using	conic::EmptyTrace = convex::EmptyCanonicalTrace
	Empty canonical provenance trace.
template<typename Emission >
using	conic::emission_local_coord_map_t = typename emission_traits< linalg::remove_cvref_t< Emission > >::LocalCoordinateMap
template<typename Emission >
using	conic::emission_cones_t = typename emission_traits< linalg::remove_cvref_t< Emission > >::Cones
template<typename Emission >
using	conic::emission_local_eq_map_t = typename emission_traits< linalg::remove_cvref_t< Emission > >::LocalEqualityMap
template<typename Emission >
using	conic::emission_trace_t = typename emission_traits< linalg::remove_cvref_t< Emission > >::TraceT
template<typename Emission >
using	conic::emission_coord_map_t = emission_local_coord_map_t< Emission >
template<typename Emission >
using	conic::emission_eq_map_t = emission_local_eq_map_t< Emission >

Functions
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.
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.
template<typename EqMap >
	conic::LocalEqualityEmission (const EqMap &) -> LocalEqualityEmission< EqMap >
	Deduce LocalEqualityEmission template arguments from equality rows.
template<typename EqMap , typename Trace >
	conic::LocalEqualityEmission (const EqMap &, const Trace &) -> LocalEqualityEmission< EqMap, Trace >
	Deduce LocalEqualityEmission template arguments when trace exists.

Variables
template<typename Emission >
constexpr std::size_t	conic::emission_local_coord_rows_v
template<typename Emission >
constexpr std::size_t	conic::emission_local_coord_cols_v
template<typename Emission >
constexpr std::size_t	conic::emission_num_cones_v
template<typename Emission >
constexpr std::size_t	conic::emission_local_cone_dim_v
template<typename Emission >
constexpr std::size_t	conic::emission_local_eq_rows_v
template<typename Emission >
constexpr std::size_t	conic::emission_local_eq_cols_v
template<typename Emission >
constexpr std::size_t	conic::emission_coord_rows_v
template<typename Emission >
constexpr std::size_t	conic::emission_coord_cols_v
template<typename Emission >
constexpr std::size_t	conic::emission_cone_dim_v
template<typename Emission >
constexpr std::size_t	conic::emission_eq_rows_v
template<typename Emission >
constexpr std::size_t	conic::emission_eq_cols_v