This function creates a new constrained expression equal to f(x). The arguments f and invf must be pointers to functions of type IlcFloatFunction. Those two functions must be inverses of one another, that is,

invf(f(x)) == x and f(invf(x)) == x for all x.

Those two functions must also be monotonically decreasing.

IlcMonotonicDecreasingFloatExp does not verify whether f and invf are inverses of one another. It does not verify whether they are monotonically decreasing either.

The effects of this function are reversible.