num::concepts::weighted_incidence

Defined in header <structures/concepts.hpp>

template <typename E, typename Index = num::idx, typename Weight = double>
concept weighted_incidence = field<Weight> && requires(E e) {
  { e.to } -> std::convertible_to<Index>;
  { e.weight } -> std::convertible_to<Weight>;
};

Directed incidence \(u \to v\) carrying a weight in a scalar field.