On further exploration, the 'list' CHR definition in ecrc_solvers/chr seems to do what I want. Malcolm On 02/03/2007, at 4:14 PM, Malcolm Ryan wrote: > I'm interested in doing a task in which the variables are ordered > sets of integers. I basically need all the standard set constraints > provided by fd_sets plus the following: > > insert(?Set1, ?Pos, ?Value, ?Set2) > Set2 is Set1 with Value inserted at position Pos > delete(?Set1, ?Pos,?Set2) > Set2 is Set1 with the value at Pos deleted > index(?Set, ?Value, ?Pos) > The entry at Pos in Set is Value > > I'm hoping that someone has already implemented something like this? > Am I in luck? > > Malcolm > > -- > "The act of defending any of the cardinal virtues has today all > the exhilaration of a vice." > - G.K.Chesterton A Defense of > Humility > > > > > _______________________________________________ > ECLiPSe-Users mailing list > ECLiPSe-Users_at_crosscoreop.com > http://www.crosscoreop.com/mailman/listinfo/eclipse-users -- "Our age is not willing to stop with faith, with its miracle of turning water into wine, it goes further, it turns wine into water." -- Soren Kierkegaard, "Fear and Trembling"Received on Fri Mar 02 2007 - 06:11:46 CET
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:57 CET