Re: [eclipse-users] Ordered sets as variables?

From: Malcolm Ryan <malcolmr_at_cse.unsw.edu.au>
Date: Fri, 2 Mar 2007 17:06:22 +1100
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