gym_warehouse/envs/warehouse_env.py
def save_as_gif(self, filename_prefix = 'quick_test', save_dir = './', sec_per_frame=0.5):
        """
        Save rendered environment as an animation in gif format.

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

        self.gif_filename = save_dir+'/'+filename_prefix+"_agent_interaction.gif"

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

        Save rendered environment as an animation in gif format.

        Parameters
        ----------
        gif_filename : str
            Plain filename of the gif; filename extension (.gif) will be
            added automatically.
        
Save rendered environment as an animation in gif format.
Parameters

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

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