forms.cpp type_traits serif/discretization/forms/runtime.hpp serif/discretization/forms/concept.hpp serif/discretization/forms/forms.hpp src/compile_time_checks/serif/discretization/forms/forms.cpp serif/dimensions/dimensions.hpp serif/dimensions/quantities.hpp serif/discretization/blocks/base.hpp serif/discretization/blocks/concepts.hpp serif/discretization/blocks/fields.hpp serif/discretization/blocks/runtime.hpp serif/discretization/domain/concepts.hpp serif/discretization/domain/physical_domains.hpp serif/discretization/domain/types.hpp serif/discretization/forms/concept.hpp serif/discretization/forms/forms.hpp serif/discretization/forms/operands.hpp serif/discretization/forms/runtime.hpp serif/discretization/functional_space/space.hpp serif/meta/enums.hpp serif/meta/names.hpp serif/utils/misc/concepts/numeric.hpp serif/utils/misc/std_helper/cleaning.hpp serif/utils/misc/std_helper/variadic_cleaning.hpp serif/utils/types/type_list.hpp array compare concepts cstddef format magic_enum/magic_enum_all.hpp nameof.hpp numeric span string_view tuple type_traits unordered_map #include<type_traits> #include"serif/discretization/forms/runtime.hpp" #include"serif/discretization/forms/concept.hpp" #include"serif/discretization/forms/forms.hpp" //Theseareleftinananonymousnamespacetoavoidpollutingtheglobalnamespacewiththesesymbolsatlinktime. namespace{ usingnamespaceserif::discretization::forms; usingnamespaceserif::discretization::blocks; //Notewedefinecustomversionsofformsthatlikelyexistinthecodebase.Wearenotheretestingthatthe //formshaveaparticularstructure;rather,wearetestingthatgivensomeknownstructure //theformsystembehavesasweexpectitto. usingHypotheticalTestingDisplacementMass=mass<displacement::vector, displacement::vector>; usingHypotheticalTestingDisplacementDivergence=divergence<displacement::vector, gravity::potential>; static_assert(Form<HypotheticalTestingDisplacementMass>,"DisplacementMassshouldsatisfytheFormconcept.Afailurehereindicatesthatthemassformisnotproperlydefinedforavectorfield.Pleasecheckouttheformssubmodule"); static_assert(Form<HypotheticalTestingDisplacementDivergence>,"DisplacementDivergenceshouldsatisfytheFormconcept.Afailurehereindicatesthatthedivergenceformisnotproperlydefinedforavectorfield.Pleasecheckouttheformssubmodule"); static_assert(std::same_as<HypotheticalTestingDisplacementMass::test_type,displacement::vector>,"DisplacementMass::test_typeshouldbedisplacement::vector.Afailurehereindicatesthatthemassformisnotproperlydefinedforavectorfield.Pleasecheckouttheformssubmodule"); static_assert(std::same_as<HypotheticalTestingDisplacementMass::trial_type,displacement::vector>,"DisplacementMass::trial_typeshouldbedisplacement::vector.Afailurehereindicatesthatthemassformisnotproperlydefinedforavectorfield.Pleasecheckouttheformssubmodule"); static_assert(std::same_as<HypotheticalTestingDisplacementDivergence::trial_type,displacement::vector>,"DisplacementDivergence::trial_typeshouldbedisplacement::vector.Afailurehereindicatesthatthedivergenceformisnotproperlydefinedforavectorfield.Pleasecheckouttheformssubmodule"); static_assert(std::same_as<HypotheticalTestingDisplacementDivergence::test_type,gravity::potential>,"DisplacementDivergence::test_typeshouldbegravity::potential.Afailurehereindicatesthatthedivergenceformisnotproperlydefinedforavectorfield.Pleasecheckouttheformssubmodule"); }