Formal verification of the energy mapping. More...

Concept definition

template<typename H, typename S, typename F>
concept dedekind::analysis::IsHamiltonian =  requires(H h, S s) {
  { h.energy(s) } -> std::same_as<F>;
}

Detailed Description

Formal verification of the energy mapping.