This is a hack for when CUDD_VALUE_TYPE is double. More...
This is a hack for when CUDD_VALUE_TYPE is double.