
HANDBOOK
/ GENTLE PRIMER
/ Smart Traversal
/
Broadcasted Parameter
A sweep predicate may also have an additional input parameter
of an arbitrary type T
Then, the additional parameter is passed to all constituents.
The default rule has the form:
-
'rule' P( f(X1 , X2 , ... , Xn), Z ) :
P( X1, Z ) P( X2, Z ) ... P( Xn, Z )
