[PPL-devel] ppl/interfaces ppl_interface_generator_common_ ...
hill at cs.unipr.it
Thu Mar 6 08:00:33 CET 2008
Module name: ppl
Changes by: hill at cs.unipr.it 2008-03-06 08:00:33
In all the interfaces, the
procedures are enabled now for:
all the Box domains,
powersets with a Box domain as its disjunct and
products with a Box domain as a component.
More information about the PPL-devel