Merging Templates) Sample Clauses

Merging Templates). Let Ti = (Ni, Wi, N[π], Πi, Di) for i = 1, 2 be π-parameterised templates over P1 ∩ P2 = I. The merge of T1 and T2 is the π-parameterised template over I, merge(T1, T2) = (N, W, N[π], Π, D) with – P = P1 P2 – T = T1 T2, I = I1 I2, O = O1 O2, H = H1 H2 – m0 = m0,1 + m0,2 – W = W1 ! W2, Π = Π1 ! Π2, D = D1 ! D2.