Lines Matching full:rf
109 (* Generate all rf relations for LF events *)
111 let rf-lf = rfe-lf | rfi-lf
118 let possible-rf-ru e = (((UL * {e}) & po-loc) \
122 (* Compute set of sets of possible rf edges for RU events *)
123 let all-possible-rf-ru =
124 (* Convert the possible-rf-ru relation for e to a set of single edges *)
125 let set-of-singleton-rf-ru e =
126 map pair-to-relation (possible-rf-ru e)
128 in map set-of-singleton-rf-ru RU
130 (* Generate all rf relations for RU events *)
131 with rf-ru from cross(all-possible-rf-ru)
133 (* Final rf relation *)
134 let rf = rf | rf-lf | rf-ru
148 (* Merge LKR events into rf *)
149 let rf = rf | ([IW | UL] ; singlestep(co) ; lk-rmw^-1)
150 let rfe = rf & ext
151 let rfi = rf & int
153 let fr = rf^-1 ; co
157 show co,rf,fr