Commit d07a3090 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Why rats why? 



git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@9681 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent cab852ea

@CVC_checker/matlab_to_cvc_syntax_translation.m

+5 −5
Original line number Diff line number Diff line
@@ -18,11 +18,11 @@ for j = 2:size(matlab_string,1) 
   s = [s ' ' matlab_string(j,:)];

end

matlab_string = s;



floats = regexp(matlab_string,'[0-9]*\.[0-9]*','match');

for i=1:size(floats,2)

   matlab_string = regexprep(matlab_string,floats{i},['(' strtrim(num2str(rats(eval(floats{i})))) ')'] );

end

% WHY???

% floats = regexp(matlab_string,'[0-9]*\.[0-9]*','match');

% for i=1:size(floats,2)

%    matlab_string = regexprep(matlab_string,floats{i},['(' strtrim(num2str(rats(eval(floats{i})))) ')'] );

% end



parser = ca.mcmaster.cas.matlab2smt.MatlabParser(var_def, matlab_string);

expr = parser.getRootExpression();