speed_scaling_interface
Author(s): Felix Exner
autogenerated on Wed May 18 2022 02:43:19