:expressions predicate for the meet of N 2D halfspaces: a polytope as a single conjunctive predicate, with the halfspace pack carried at the type level so downstream combinators (argmax , and anything else dispatching on the polytope's structure) can extract it. More...

Public Types
using	Domain = dedekind::linear_algebra::Vec2V<T>
using	cardinality_type = dedekind::sets::ℵ_0

Public Member Functions
constexpr bool	operator() (const Domain &p) const

Detailed Description

template<typename T, typename... Hs>
struct dedekind::optimization::Polytope2DPredicate< T, Hs >

:expressions predicate for the meet of N 2D halfspaces: a polytope as a single conjunctive predicate, with the halfspace pack carried at the type level so downstream combinators (argmax , and anything else dispatching on the polytope's structure) can extract it.

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

src/main/modules/dedekind/optimization/lp.cppm

Public Types

Public Member Functions

Detailed Description