Lines Matching refs:f2
103 | EF_AND of efl # efl (* f1 \wedge f2 *)
107 | EF_U of efl # efl (* [f1 U f2] *)
112 | EF_OR of efl # efl (* f1 \vee f2 *)
113 | EF_IMP of efl # efl (* f1 \rightarrow f2 *)
114 | EF_IFF of efl # efl (* f1 \leftrightarrow f2 *)
118 | EF_W of efl # efl (* [f1 W f2] *)
124 | EF_STRONG_UNTIL of efl # efl (* [f1 until! f2] *)
125 | EF_WEAK_UNTIL of efl # efl (* [f1 until f2] *)
126 | EF_STRONG_UNTIL_INC of efl # efl (* [f1 until!_ f2] *)
127 | EF_WEAK_UNTIL_INC of efl # efl (* [f1 until_ f2] *)
128 | EF_STRONG_BEFORE of efl # efl (* [f1 before! f2] *)
129 | EF_WEAK_BEFORE of efl # efl (* [f1 before f2] *)
131 of efl # efl (* [f1 before!_ f2] *)
132 | EF_WEAK_BEFORE_INC of efl # efl (* [f1 before_ f2] *)
240 (F_DESUGAR(EF_AND(f1,f2)) =
241 F_AND(F_DESUGAR f1, F_DESUGAR f2))
252 (F_DESUGAR(EF_U(f1,f2)) =
253 F_U(F_DESUGAR f1, F_DESUGAR f2))
264 (F_DESUGAR(EF_OR(f1,f2)) =
265 F_OR(F_DESUGAR f1, F_DESUGAR f2))
267 (F_DESUGAR(EF_IMP(f1,f2)) =
268 F_IMP(F_DESUGAR f1, F_DESUGAR f2))
270 (F_DESUGAR(EF_IFF(f1,f2)) =
271 F_IFF(F_DESUGAR f1, F_DESUGAR f2))
282 (F_DESUGAR(EF_W(f1,f2)) =
283 F_W(F_DESUGAR f1, F_DESUGAR f2))
300 (F_DESUGAR(EF_STRONG_UNTIL(f1,f2)) =
301 F_STRONG_UNTIL(F_DESUGAR f1, F_DESUGAR f2))
303 (F_DESUGAR(EF_WEAK_UNTIL(f1,f2)) =
304 F_WEAK_UNTIL(F_DESUGAR f1, F_DESUGAR f2))
306 (F_DESUGAR(EF_STRONG_UNTIL_INC(f1,f2)) =
307 F_STRONG_UNTIL_INC(F_DESUGAR f1, F_DESUGAR f2))
309 (F_DESUGAR(EF_WEAK_UNTIL_INC(f1,f2)) =
310 F_WEAK_UNTIL_INC(F_DESUGAR f1, F_DESUGAR f2))
312 (F_DESUGAR(EF_STRONG_BEFORE(f1,f2)) =
313 F_STRONG_BEFORE(F_DESUGAR f1, F_DESUGAR f2))
315 (F_DESUGAR(EF_WEAK_BEFORE(f1,f2)) =
316 F_WEAK_BEFORE(F_DESUGAR f1, F_DESUGAR f2))
318 (F_DESUGAR(EF_STRONG_BEFORE_INC(f1,f2)) =
319 F_STRONG_BEFORE_INC(F_DESUGAR f1, F_DESUGAR f2))
321 (F_DESUGAR(EF_WEAK_BEFORE_INC(f1,f2)) =
322 F_WEAK_BEFORE_INC(F_DESUGAR f1, F_DESUGAR f2))