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

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).