gym_warehouse/envs/warehouse_env.py
def save_as_mp4(self, filename_prefix = 'quick_test', save_dir = './', sec_per_frame=0.5):
        """
        Save rendered environment as an mp4 video.

        Parameters
        ----------
        gif_filename : str
            Plain filename of the mp4; filename extension (.mp4) will be
            added automatically.
        """

        self.mp4_filename = save_dir+'/'+filename_prefix+"_agent_interaction.mp4"

        if self.renderer:
            self.renderer.save_as_mp4(self.mp4_filename, sec_per_frame)
        else:
            print("env.render(mode='human') has to be called before in order to save mp4;\naborting...")

        Save rendered environment as an mp4 video.

        Parameters
        ----------
        gif_filename : str
            Plain filename of the mp4; filename extension (.mp4) will be
            added automatically.
        
Save rendered environment as an mp4 video.
Parameters

gif_filename : str
Plain filename of the mp4; filename extension (.mp4) will be
added automatically.
Save rendered environment as an mp4 video . Parameters gif_filename : str Plain filename of the mp4 ; filename extension ( . mp4 ) will be added automatically .
def save_as_mp4(self, filename_prefix = 'quick_test', save_dir = './', sec_per_frame=0.5):
        self.mp4_filename = save_dir+'/'+filename_prefix+"_agent_interaction.mp4"
        if self.renderer:
            self.renderer.save_as_mp4(self.mp4_filename, sec_per_frame)
        else:
            print("env.render(mode='human') has to be called before in order to save mp4;\naborting...")
def save_as_mp4 ( self , filename_prefix = 'quick_test' , save_dir = './' , sec_per_frame = 0.5 ) : self . mp4_filename = save_dir + '/' + filename_prefix + "_agent_interaction.mp4" if self . renderer : self . renderer . save_as_mp4 ( self . mp4_filename , sec_per_frame ) else : print ( "env.render(mode='human') has to be called before in order to save mp4;\naborting..." )
Save rendered environment as an mp4 video.
Save rendered environment as an mp4 video .
"""
        Save rendered environment as an mp4 video.

        Parameters
        ----------
        gif_filename : str
            Plain filename of the mp4; filename extension (.mp4) will be
            added automatically.
        """
self
filename_prefix
save_dir
sec_per_frame