Method fp_neq

src/ap.cpp:1081–1085

}

bool ap::fp_neq(double v1, double v2)
{
    // IEEE-strict floating point comparison
    return !fp_eq(v1,v2);
}

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