Hi, I have been working with finite set variables and using the reified propagators of the FS module. Now I have a question about a propagator, its propagation function and its documentation. In fact there are two propagators, FS.reified.bounds and FS.reified.boundsN. These propagators are not documented in the section *"7.6 Reified Propgators"* of *System Modules*, but they have an Oz implementation and a C++ one (mozart/share/lib/cp and mozart/platform/emulator/ libfset/reified.*).
Now the questions are: - What do these propagators do? - Why there is no documentation for them? Sorry for the bad english and thanks for any help. -- Andrés Felipe Barco Santa Estudiante Escuela de Ingeniería de Sistemas y Computación Universidad del Valle América del Sur GeOz Developer
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
