Lines Matching full:rf

95 (* Generate all rf relations for LF events *)
97 let rf-lf = rfe-lf | rfi-lf
115 (* Generate all rf relations for RU events *)
117 let rf-ru = rfe-ru | rfi-ru
119 (* Final rf relation *)
120 let rf = rf | rf-lf | rf-ru
134 (* Merge LKR events into rf *)
135 let rf = rf | ([IW | UL] ; singlestep(co) ; lk-rmw^-1)
136 let rfe = rf & ext
137 let rfi = rf & int
139 let fr = rf^-1 ; co
143 show co,rf,fr