ultra::DecisionVector Concept Reference

Checks whether a type models a concrete decision-vector representation. More...

#include <decision_vector.h>

Concept definition

template<class DV>
concept ultra::DecisionVector =  requires(DV dv, const DV cdv)
{
  typename DV::coordinate;
 
  { dv.values } -> std::same_as<std::vector<double> &>;
  { cdv.values } -> std::same_as<const std::vector<double> &>;
 
  { dv.coords } -> std::same_as<std::vector<typename DV::coordinate> &>;
  { cdv.coords } -> std::same_as<const std::vector<typename DV::coordinate> &>;
 
  { cdv.empty() } -> std::convertible_to<bool>;
  { cdv.size() } -> std::convertible_to<std::size_t>;
}

Detailed Description

Checks whether a type models a concrete decision-vector representation.