subst_mps is rather cryptic to me. While most functions applying name substitution on data
foo are called
subst_foo, why not to rename
subst_constr? Not that it is a particularly discriminatory name, but at least it is an easier name to remember.
To be more discriminatory, an alternative, even if less consistent with other names, could be
Or, conversely, to rename all
Last updated: Dec 07 2023 at 14:02 UTC