Commit bcabe7a3 authored by Colin Eles's avatar Colin Eles
Browse files

added rationalization support 

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6558 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent 31f8cc9a

@CVC_checker/matlab_to_cvc_syntax_translation.m

+6 −0
Original line number Diff line number Diff line
@@ -18,6 +18,12 @@ cvc_string = regexprep(cvc_string,'~=',' /= '); 
cvc_string = regexprep(cvc_string,'==',' = ');

cvc_string = regexprep(cvc_string,'\|\|',' OR ');

cvc_string = regexprep(cvc_string,'ceil','ceiling');



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

for i=1:size(floats,2)

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

end



end