detray::concepts::is_propagator_state_of Concept Reference

Check if a type can function as a propagator state for a specific propagator type. More...

#include <detray/propagator/concepts.hpp>

Concept definition

template<typename S, typename P>
concept detray::concepts::is_propagator_state_of =  propagator_state<S> && requires {
  typename P::detector_type;
  typename P::stepper_type;
  typename P::navigator_type;
 
  requires std::same_as<typename P::detector_type, typename S::detector_type>;
  requires std::same_as<typename P::stepper_type::state,
                        typename S::stepper_state_type>;
  requires std::same_as<typename P::navigator_type::state,
                        typename S::navigator_state_type>;
}

Detailed Description

Check if a type can function as a propagator state for a specific propagator type.