[eclipse-users] Convert an IC_SET variable to an IC DOM variable

From: William Heath <wgheath_at_gmail.com>
Date: Thu, 13 Dec 2007 10:27:38 -0800
Hi All,

Is there a better way to convert an IC_SET to an IC DOM variable?

Here is what I use now:

convertIC_DOM_to_IC_SET(Ic_dom, Ic_set):-
            writeln('convertIC_DOM_to_IC_SET'),
            ic:(get_domain_as_list(Ic_dom,Ic_domIntegerList)),
            ic_sets:(Ic_set::Ic_domIntegerList..Ic_domIntegerList).
Received on Thu Dec 13 2007 - 18:27:44 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET