From: Malcolm R. <mal...@cs...> - 2007-06-06 01:10:10
|
Thanks, that gives me what I need. My other question is about =20 backtracking. There is a section in the User Guide labeled =20 "backtrackable structures" but it is lacking any content. Could you =20 explain what how it works? One of the things I have implemented in Eclipse is a variable length =20 list of values. It only creates variables for entries in the list as =20 they are called for (ie, as the lower bound of the length variable =20 increases). The good thing about Prolog is that it automatically =20 handles backtracking over this action. How hard would it be to do =20 something similar in Choco? Malcolm On 05/06/2007, at 6:32 PM, Guillaume Richaud wrote: > Hi, > > Yes, choco has fine-grained events (instantiation, removal, bound =20 > modification,...). > For a small exemple on how you can use it, you can look at: http://=20= > choco-solver.net/index.php?title=3DDiffVec.java > > > Hope it helps. > Guillaume > > Malcolm Ryan a =E9crit : >> Hi, >> >> I've been doing some constraint programming in ECLiPSe prolog, =20 >> but the language is beginning to really annoy me and I've been =20 >> thinking about migrating to a different platform. Choco looks =20 >> like a possibility, but I need to make sure it can do the things =20 >> I need. Eclipse has an event model whereby you can set an action =20 >> to occur when a particular event occurs on a variable. Defined =20 >> events include an event whenever the domain is constrained and an =20= >> event when the variable is instantiated. Is there an equivalent =20 >> functionality in Choco? >> >> Malcolm >> >> -- >> Many clever men like you have trusted to civilisation. >> Many clever Babylonians, many clever Egyptians, >> Many clever men at the end of Rome. >> - G.K.Chesterton, The Napoleon of =20 >> Notting Hill >> >> >> >> >> ---------------------------------------------------------------------=20= >> ---- >> This SF.net email is sponsored by DB2 Express >> Download DB2 Express C - the FREE version of DB2 express and take >> control of your XML. No limits. Just data. Click to get it now. >> http://sourceforge.net/powerbar/db2/ >> _______________________________________________ >> Choco-users mailing list >> Cho...@li... >> https://lists.sourceforge.net/lists/listinfo/choco-users >> >> -- "The act of defending any of the cardinal virtues has today all the exhilaration of a vice." - G.K.Chesterton A Defense of =20 Humility |