Code covered by the BSD License  

Highlights from
Tabular Expression Toolbox

image thumbnail

Tabular Expression Toolbox

by

 

23 Sep 2010 (Updated )

A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3.

UndoManager
% Author: Colin Eles elesc@mcmaster.ca
% Organization: McMaster Centre for Software Certification
classdef UndoManager < handle
    %UNDOMANAGER Controls Undo/Redo Functionality
    %   UndoManager, controls a queue of actions, representing things that
    %   the user has done. access programs undo/redo allow for moving
    %   within the queue.
    
    properties
        queue = [];
        max_depth = 50;
        current_depth = [];
        undo_level = [];
    end
    
    methods
        
        
        function object = UndoManager()
            object.current_depth = 0;
            object.undo_level = 0;
        end
    end
    
end

Contact us