6.4 Miscellaneous Propagators
-
disjoint {Schedule.disjoint*D1+I1*D2+I2}creates a propagator for
. Its operational semantics is defined by orD1+I1=<:D2
[]+I2=<:D1
end
| << Prev | - Up - |
disjoint{Schedule.disjoint*D1+I1*D2+I2}
creates a propagator for . Its operational semantics is defined by
orD1+I1=<:D2D2
[]+I2=<:D1
end
| << Prev | - Up - |