Lines Matching refs:rf
98 (* Generate all rf relations for LF events *)
100 let rf-lf = rfe-lf | rfi-lf
118 (* Generate all rf relations for RU events *)
120 let rf-ru = rfe-ru | rfi-ru
122 (* Final rf relation *)
123 let rf = rf | rf-lf | rf-ru
137 (* Merge LKR events into rf *)
138 let rf = rf | ([IW | UL] ; singlestep(co) ; lk-rmw^-1)
139 let rfe = rf & ext
140 let rfi = rf & int
142 let fr = rf^-1 ; co
146 show co,rf,fr