Method fp_less_eq

src/ap.cpp:1095–1101

}

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

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