laneemden.cpp concepts expected format string serif/utils/laneemden/laneemden.hpp src/compile_time_checks/serif/utils/laneemden.cpp serif/dimensions/dimensions.hpp serif/dimensions/quantities.hpp serif/meta/enums.hpp serif/utils/error/codes.hpp serif/utils/error/errors.hpp serif/utils/laneemden/laneemden.hpp serif/utils/laneemden/scaling.hpp serif/utils/laneemden/solution.hpp serif/utils/misc/concepts/exceptions.hpp serif/utils/misc/concepts/numeric.hpp serif/utils/misc/std_helper/cleaning.hpp serif/utils/misc/terminal/colors.hpp serif/utils/types/strings.hpp algorithm compare concepts cstddef cstdint cstdio cstdlib exception expected format iostream magic_enum/magic_enum_all.hpp optional string string_view tuple type_traits unistd.h unordered_map utility vector version #include<concepts> #include<expected> #include<format> #include<string> #include"serif/utils/laneemden/laneemden.hpp" namespace{ namespacelaneemden=serif::utils::laneemden; namespacedimensions=serif::dimensions; template<typenameMass,typenameDensity,typenameGravity> conceptCanScaleMass=requires(constlaneemden::Solution&solution,Massmass,Densitydensity,Gravitygravity){ {laneemden::scale_from_mass(solution,mass,density,gravity)}->std::same_as<std::expected<laneemden::PhysicalScales,std::string>>; }; static_assert(CanScaleMass<dimensions::QuantityValue<dimensions::Mass>,dimensions::QuantityValue<dimensions::MassDensity>,dimensions::QuantityValue<dimensions::GravitationalConstant>>); static_assert(!CanScaleMass<double, double, double>); static_assert(!CanScaleMass<dimensions::QuantityValue<dimensions::Length>,dimensions::QuantityValue<dimensions::MassDensity>,dimensions::QuantityValue<dimensions::GravitationalConstant>>); static_assert(!CanScaleMass<dimensions::QuantityValue<dimensions::Mass>,dimensions::QuantityValue<dimensions::Length>,dimensions::QuantityValue<dimensions::GravitationalConstant>>); static_assert(std::same_as<decltype(laneemden::solve(3.0)),std::expected<laneemden::Solution,std::string>>); static_assert(std::equality_comparable<laneemden::IntegrationOptions>); static_assert(std::formattable<laneemden::Sample,char>); static_assert(std::formattable<laneemden::Solution,char>); constexprstd::format_string<laneemden::Sample,laneemden::Sample,laneemden::Sample,laneemden::Sample,laneemden::Sample> sample_formats{"{}{:all}{:xi}{:theta}{:derivative}"}; constexprstd::format_string<laneemden::Solution,laneemden::Solution,laneemden::Solution,laneemden::Solution,laneemden::Solution> solution_formats{"{}{:all}{:xi}{:theta}{:derivative}"}; }