Lines Matching refs:lf
86 let rfi-lf = ([LKW] ; po-loc ; [LF]) \ ([LKW] ; po-loc ; [UL] ; po-loc)
96 let possible-rfe-noncrit-lf e = (LKW * {e}) & loc & ext
99 let all-possible-rfe-lf =
101 * Convert the possible-rfe-noncrit-lf relation for e
104 let set-of-singleton-rfe-lf e =
105 map pair-to-relation (possible-rfe-noncrit-lf e)
106 (* Do this for each LF event e that isn't in rfi-lf *)
107 in map set-of-singleton-rfe-lf (LF \ range(rfi-lf))
110 with rfe-lf from cross(all-possible-rfe-lf)
111 let rf-lf = rfe-lf | rfi-lf
134 let rf = rf | rf-lf | rf-ru