CommonModelType Concept Reference

Concept to define a correct Model. More...

#include <traits.hpp>

Concept definition

template<typename T, typename ViewType>
concept CommonModelType =  requires(T model,
                                   T::FloatType d_t,
                                   std::size_t idx,
                                   std::size_t idx2,
                                   double weight,
                                   const T::SelfParticle& arr,
                                   const T::SelfParticle& buffer_arr,
                                   const MC::LocalConcentration& c,
                                   std::size_t position,
                                   const MC::ContributionView& contributions,
                                   const MC::KPRNG::pool_type& random_pool,
                                   const T::Config& config) {
  {
    T::n_var
  } -> std::convertible_to<std::size_t>; 
  typename T::FloatType; 
  typename T::SelfParticle; 
  typename T::Self;         
  typename T::Config;       
 
  
  
  
  
  
 
  requires ConfigurableInit<T> ||
               (std::is_same_v<typename T::Config, NonConfigType> &&
                NonConfigurableInit<T>);
 
  
  
  
  
  
 
  {
    T::mass(idx, arr)
  } -> std::same_as<double>; 
 
  {
    T::update(random_pool, d_t, idx, arr, c)
  } -> std::convertible_to<MC::Status>; 
 
  
  
  
  
 
  { T::get_bounds() } -> std::same_as<MC::ContribIndexBounds>;
 
  {
    T::division(random_pool, idx, idx2, arr, buffer_arr)
  } -> std::same_as<void>; 
 
  requires FloatingPointType<typename T::FloatType>;
}

Detailed Description

Concept to define a correct Model.

Minimum model definition should validate this contract, the behaviour behind each function can vary but the order and signature should be the same