Well, to help answer my own question, I can test whether the variable is real (get_solver_type) and change my eclipse predicate to pick the two 12.0's (with get_bounds) and return the list as 12.0..12.0 instead of 12.0__12.0. Any other ways of doing it? Sorry. Should have spent more time thinking before bothering the list users with a simple question. Tallys On Mon, Apr 28, 2008 at 11:01 AM, Tallys Yunes <thyunes_at_gmail.com> wrote: > Kish > > Thanks for the reply. I'll be happy to contribute nvalues as soon as I > manage to find time to do it (it's pretty involved). > > I have another (unrelated) question: I'm interfacing with Eclipse > through C++ and I need to break down Eclipse terms into C++ values. > Specifically, I wrote a predicate in Eclipse that takes a variable and > creates a list version of its domain. So in C++ I call this predicate with > post_goal, grab the list, and tear it apart. This list could be something > like: [1..5, 10..20] or [1.5..6.3], etc. (I'm solving problems that mix > integer and real variables). > > However, when the list comes back as [12.0__12.0] I don't know how to > grab the two 12.0's from it, because I cannot use any of the "is_?" calls > (is_long, is_double, etc.). How can I do this? > > Thanks a lot! > Tallys > > > > > On Mon, Apr 28, 2008 at 10:37 AM, Kish Shen <kisshen_at_cisco.com> wrote: > > Hi, > > > > Tallys Yunes' message asking about an implementation of nvalues > > constraint for ECLiPSe reminds me: > > > > We welcome and encourage contributions to ECLiPSe -- this is one of the > > reasons why ECLiPSe was open-sourced. You can contact me or Joachim > > Schimpf about any contributions you want to make, and it could then be > > distributed with ECLiPSe. > > > > Specific to Tallys' message, ECLiPSe currently does not have that many > > global constraints, and we would welcome any contributions here! > > > > Cheers, > > > > Kish > > > > > > Tallys Yunes wrote: > > > Hi, > > > > > > I have an application in which I'd like to use the nvalues > > > constraint, but it appears that this constraint is not > > > directly available in Eclipse (maybe version 6.0 will > > > include new global constraints?) > > > > > > So I was wondering if anyone out there has implemented > > > this constraint "by hand" and wouldn't mind sharing the > > > code :-) If not, then I guess I'll have to do it ... > > > > > > Thanks, > > > Tallys > > > > > > ------------------------------------------------------------------------- > > > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > > > Don't miss this year's exciting event. There's still time to save $100. > > > Use priority code J8TL2D2. > > > http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone > > > _______________________________________________ > > > ECLiPSe-CLP-Users mailing list > > > ECLiPSe-CLP-Users_at_lists.sourceforge.net > > > https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users > > > > > > > > > ------------------------------------------------------------------------- > > This SF.net email is sponsored by the 2008 JavaOne(SM) Conference > > Don't miss this year's exciting event. There's still time to save $100. > > Use priority code J8TL2D2. > > http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone > > _______________________________________________ > > ECLiPSe-CLP-Users mailing list > > ECLiPSe-CLP-Users_at_lists.sourceforge.net > > https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users > > >Received on Mon Apr 28 2008 - 08:11:37 CEST
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET