[eclipse-clp-users] How to handle double values in eclipse clp?

From: Hadeer Diwan <hadeer.diwan_at_...6...>
Date: Sun, 19 May 2013 13:16:07 +0200
Hello,
I wanted to ask a question regarding data types in eclipse clp. I am using
the following code and i want to change it so that it handles double values
for the cost. I was able to make it handle floating point values by adding
float(Result, Cost). How can i refine it to handle double values?
search_min(List,Dists,Cost) :-
Result $= sum(Dists),
        float(Result,Cost),
        minimize(labeling(List),Cost).
-- 
Best Regards,
Hadeer Diwan
Received on Sun May 19 2013 - 11:16:34 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:30 CEST