MATLAB: __packed in polyspace code prover

__packedPolyspace Code Prover

Hello, Getting error identifier "__packed" is undefined in polyspace code prover. How to solve this?

Thanks and Regards, Srinivasan K.

Best Answer

Hello,

The easiest way for Polyspace to ignore this extra keyword is to define a macro like this:

__packed=

You add it as a usual macro to your Polyspace project, the difference with a usual macro being that this one ends with an = sign. By doing this, the Polyspace preprocessor will replace the keyword __packed by nothing. Hence the keyword will be actually ignored in the code verification.

Regards,

Alex

Related Solutions

MATLAB: Circle packed with Circles

Here the code :

First, you need to create a m-file

function [X Y] = circle(center,radius,n)
THETA = linspace(0, 2 * pi, n);
RHO = ones(1, n) * radius;
[X Y] = pol2cart(THETA, RHO);
X = X + center(1);
Y = Y + center(2);

Save this code with filename 'circle.m'

Then create a new m-file

function circles(R);
axis([0 2*R 0 2*R]); axis off; grid off; hold on;
[xoc yoc] = circle([R R], R, 1000); % outer circle
plot(xoc, yoc, '-','linewidth',2,'color',0.5.*rand(1,3));
[xcc ycc] = circle([R R], 1, 1000); % center circle
plot(xcc, ycc, '-','linewidth',2,'color',0.5.*rand(1,3));
numlapis = ((2*R) - (R+1)) / 2;
for cnt1 = 1 : numlapis
    lapis(cnt1) = cnt1 * 6;
    [xcoor ycoor] = circle([R R], cnt1*2, lapis(cnt1)+1);
    for cnt2 = 1 : lapis(cnt1)
        [xc yc] = circle([xcoor(cnt2)  ycoor(cnt2)], 1, 1000);       
        plot(xc, yc, '-','linewidth',2,'color',0.5.*rand(1,3));
    end
end

Save this code with filename 'circles.m'

And about how to use it.

After you save the files, you can call it from command window.

Just type 'circles(any diameter)'

Eq : circles(5);

Note that this function works well with odd number.

Just try :)

MATLAB: Detecting closely packed bubbles (diameter and outline) using MATLAB image processing

Hii Punnag,

“histeq”,”imfindcircles” functions are useful to detect circles

You can also refer to attached code for your use case:

A = imread('Bubble_Image.png');
A1=histeq(A);
imshow(A)
[centers, radii, metric] = imfindcircles(A1,[5 30],'EdgeThreshold',0.1);
viscircles(centers, radii,'Color','r');

Refer to below links for better understanding:

https://www.mathworks.com/help/images/ref/histeq.html

https://www.mathworks.com/help/images/ref/imfindcircles.html

https://www.mathworks.com/help/images/ref/viscircles.html

Refer to this link for detailed explanation

https://www.mathworks.com/matlabcentral/answers/358244-improving-circle-detection-with-imfindcirc

Best Answer

Related Solutions

MATLAB: Circle packed with Circles

MATLAB: Detecting closely packed bubbles (diameter and outline) using MATLAB image processing

Related Question