File tree Expand file tree Collapse file tree 1 file changed +20
-0
lines changed
Expand file tree Collapse file tree 1 file changed +20
-0
lines changed Original file line number Diff line number Diff line change 804804 % date: 16/3/2019
805805
806806 switch nargin
807+
808+ case 6
809+ I = varargin{1 };
810+ method = varargin{2 };
811+ option = varargin{3 };
812+
813+ case 5
814+ I = varargin{1 };
815+ method = varargin{2 };
816+ option = varargin{3 };
817+
818+ case 4
819+ I = varargin{1 };
820+ method = varargin{2 };
821+ option = varargin{3 };
807822
808823 case 3
809824 I = varargin{1 };
830845 elseif strcmp(method , ' approx-star' ) % over-approximate analysis using star
831846
832847 R = SatLins .reach_star_approx(I );
848+
849+ elseif contains(method , ' relax-star' )
850+ warning(' Relax method not supported for SatLins, using approx-star)
851+
852+ R = SatLins.reach_star_approx(I);
833853
834854 elseif strcmp(method, ' approx-zono' ) % over-approximate analysis using zonotope
835855
You can’t perform that action at this time.
0 commit comments