A sequence bound by a Finite Domain. More...

Concept definition

template<typename Seq>
concept dedekind::sequences::IsFiniteSequence =  IsSequence<Seq> && requires(Seq s) {
  typename Seq::cardinality_type;
  requires dedekind::sets::IsFinite<typename Seq::cardinality_type>;
  { s.size() } -> std::convertible_to<std::size_t>;
}

Detailed Description

A sequence bound by a Finite Domain.