Method fp_eq

src/ap.cpp:1073–1079

}

bool ap::fp_eq(double v1, double v2)
{
    // IEEE-strict floating point comparison
    volatile double x = v1;
    volatile double y = v2;
    return x==y;
}

bool ap::fp_neq(double v1, double v2)
{