A Time type supports right-addition with a double, and subtraction of two time types should be converible to a double. More...

#include <time.hpp>

Concept definition

template<typename T>
concept smooth::feedback::Time =  requires(T t1, T t2, double t_dbl)
{
  
  {time_trait<T>::plus(t1, t_dbl)}->std::convertible_to<T>;
 
  
  {time_trait<T>::minus(t2, t1)}->std::convertible_to<double>;
}

Detailed Description

A Time type supports right-addition with a double, and subtraction of two time types should be converible to a double.

Note: This is analogous to a one-dimensional Manifold with tangent type double.

Definition at line 25 of file time.hpp.