dedekind::sequences::IsEventuallyPeriodic Concept Reference

Seq has a finite-state (lasso) presentation: a lasso_presentation specialisation giving a positive period and a pre_period. This is the finite-presentation witness that licenses a decidable, structural-recursive tail-equivalence test (see decide_tail_equivalence). More...

Concept definition

template<typename Seq>
concept dedekind::sequences::IsEventuallyPeriodic =  IsSequence<Seq> && requires {
  
  
  
  requires std::integral<
      std::remove_cvref_t<decltype(lasso_presentation<Seq>::pre_period)>>;
  requires std::integral<
      std::remove_cvref_t<decltype(lasso_presentation<Seq>::period)>>;
  requires lasso_presentation<Seq>::period > 0;
}

Detailed Description

Seq has a finite-state (lasso) presentation: a lasso_presentation specialisation giving a positive period and a pre_period. This is the finite-presentation witness that licenses a decidable, structural-recursive tail-equivalence test (see decide_tail_equivalence).