polymake::mreplace_template_parameter< T, Pos, NewParam > Struct Template Reference

Inherited by pm::GenericIOoptions< Top, Options, subst_pos >::subst_helper< mtagged_list_replace< Options, NewOption< bool_not< get_helper< OptionInst >::type >::type > >::type >, pm::GenericIOoptions< Top, Options, subst_pos >::subst_helper< mtagged_list_replace< Options, NewOption< get_helper< OptionInst >::type > >::type >, and pm::GenericIOoptions< Top, Options, subst_pos >::subst_helper< mtagged_list_replace< Options, OptionInst >::type >.

Detailed Description

template<typename T, int Pos, typename NewParam>
struct polymake::mreplace_template_parameter< T, Pos, NewParam >

Replace the template parameter with the given ordinal number with the given value. Enumeration starts with 0. For out-of-bound numbers, the result equals the input type.

---

The documentation for this struct was generated from the following file:

• lib/core/include/type_utils.h