[ library(par_util) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
Goal1 & Goal2
Parallel AND operator implemented on top of OR-parallelism
Description
Parallel AND operator implemented on top of
OR-parallelism. This will only pay off for sufficiently
coarse-grained computations in Goal1 and Goal2.