Package jline.util

Class MatFileUtils

  • All Implemented Interfaces:

    
    public class MatFileUtils
    
                        

    Utility class for saving matrices and workspaces to MATLAB .mat files using the MFL (MATLAB File Library) for Java.

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
    • Field Summary

      Fields 
      Modifier and Type Field Description
    • Constructor Summary

      Constructors 
      Constructor Description
      MatFileUtils()
    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
    • Constructor Detail

      • MatFileUtils

        MatFileUtils()
    • Method Detail

      • saveMatrix

         static void saveMatrix(Matrix matrix, String variableName, String filename)

        Saves a single matrix to a .mat file

        Parameters:
        matrix - The matrix to save
        variableName - The name of the variable in the .
        filename - The output filename
      • saveWorkspace

         static void saveWorkspace(Map<String, Matrix> matrices, String filename)

        Saves multiple matrices to a .mat file as a workspace

        Parameters:
        matrices - Map of variable names to matrices
        filename - The output filename
      • saveCTMCWorkspace

         static void saveCTMCWorkspace(Matrix stateSpace, Matrix infGen, Matrix pi, String filename)

        Saves CTMC solver workspace to a .mat file

        Parameters:
        stateSpace - The state space matrix
        infGen - The infinitesimal generator matrix
        pi - The steady-state probability vector
        filename - The output filename
      • genFilename

         static String genFilename(String prefix)

        Generates a timestamp-based filename for .mat files in the appropriate workspace directory

        Parameters:
        prefix - The prefix for the filename
        Returns:

        A filename with timestamp in the appropriate workspace directory

      • getWorkspaceDirectory

         static String getWorkspaceDirectory()

        Determines the appropriate workspace directory based on the runtime context

        Returns:

        The workspace directory path relative to the JAR location

      • ensureDirectoryExists

         static void ensureDirectoryExists(String filename)

        Ensures the directory exists for the given filename

        Parameters:
        filename - The filename to create directory for