FD.distribution doc

[Torsten Anders]

Hi,

probably there is an error in the documentation of FD.distribution concerning 
the proc arg for generic(value: Val). The implementation seems to be simpler 
meanwhile. Only a unary function is needed as e.g.

fun {Val D}
   {FD.reflect.min D}
end

The documentation asks for a ternary procedure as e.g.

proc{Val D Ds Cont}
   Min={FD.reflect.min D}
in 
   choice D=Min
      choice {Cont Ds} end 
   [] {`Nec` D Min}
      choice {Cont Ds} end 
   end 
end

BTW: even if it is a reference and not a tutorial, it will be helpful to give 
an example which uses all the functional args as:

generic(filter: fun {$ X}
		   {FD.reflect.size X} > 1
		end
	order: fun {$ X Y}
		  {FD.reflect.size X} < {FD.reflect.size Y}
	       end
	select: fun {$ X}
		   X
		end
	value:fun {$ D}
		 {FD.reflect.min D}
	      end
	procedure: proc {$} skip end)


Kind regards,
Torsten Anders
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.