#include<iostream>
#include"pow.cpp"
double power(double, double);
//Function to calculate approximate index
double AppxIndex(double m, double f){
double U = (power(m,2) - 1)/(power(m,2)+2); //First term
double V = (power(m,4) + 27*power(m,2)+38)/
(2*power(m,2)+3);// Second term
return (1+2*f*power(U,2)*(1+power(m,2)*U*V +
power(m,3)/power(m,3)*(U-V)))
/( (1-2*f*power(U,2)*(1+power(m,2)*U*V
+ power(m,3)/power(m,3)*(U-V))));
}
int main(){
return 0;
}
В этом примере код вызывает функциональный power, который задан во включенном исходном файле pow.cpp. При анализе кода Polyspace® не рассматривает включенный исходный файл. Поскольку включенный исходный файл не рассматривается в анализе, Polyspace оценивает количество исходного файла, чтобы быть тем.
