Lines Matching refs:f2
88 | EF_AND of efl # efl (* f1 \wedge f2 *)
90 | EF_U of efl # efl (* [f1 U f2] *)
98 | EF_OR of efl # efl (* f1 \vee f2 *)
99 | EF_IMP of efl # efl (* f1 \rightarrow f2 *)
100 | EF_IFF of efl # efl (* f1 \leftrightarrow f2 *)
104 | EF_W of efl # efl (* [f1 W f2] *)
110 | EF_STRONG_UNTIL of efl # efl (* [f1 until! f2] *)
111 | EF_WEAK_UNTIL of efl # efl (* [f1 until f2] *)
112 | EF_STRONG_UNTIL_INC of efl # efl (* [f1 until!_ f2] *)
113 | EF_WEAK_UNTIL_INC of efl # efl (* [f1 until_ f2] *)
114 | EF_STRONG_BEFORE of efl # efl (* [f1 before! f2] *)
115 | EF_WEAK_BEFORE of efl # efl (* [f1 before f2] *)
117 of efl # efl (* [f1 before!_ f2] *)
118 | EF_WEAK_BEFORE_INC of efl # efl (* [f1 before_ f2] *)
235 (F_DESUGAR(EF_AND(f1,f2)) =
236 F_AND(F_DESUGAR f1, F_DESUGAR f2))
241 (F_DESUGAR(EF_U(f1,f2)) =
242 F_U(F_DESUGAR f1, F_DESUGAR f2))
262 (F_DESUGAR(EF_OR(f1,f2)) =
263 F_OR(F_DESUGAR f1, F_DESUGAR f2))
265 (F_DESUGAR(EF_IMP(f1,f2)) =
266 F_IMP(F_DESUGAR f1, F_DESUGAR f2))
268 (F_DESUGAR(EF_IFF(f1,f2)) =
269 F_IFF(F_DESUGAR f1, F_DESUGAR f2))
280 (F_DESUGAR(EF_W(f1,f2)) =
281 F_W(F_DESUGAR f1, F_DESUGAR f2))
298 (F_DESUGAR(EF_STRONG_UNTIL(f1,f2)) =
299 F_STRONG_UNTIL(F_DESUGAR f1, F_DESUGAR f2))
301 (F_DESUGAR(EF_WEAK_UNTIL(f1,f2)) =
302 F_WEAK_UNTIL(F_DESUGAR f1, F_DESUGAR f2))
304 (F_DESUGAR(EF_STRONG_UNTIL_INC(f1,f2)) =
305 F_STRONG_UNTIL_INC(F_DESUGAR f1, F_DESUGAR f2))
307 (F_DESUGAR(EF_WEAK_UNTIL_INC(f1,f2)) =
308 F_WEAK_UNTIL_INC(F_DESUGAR f1, F_DESUGAR f2))
310 (F_DESUGAR(EF_STRONG_BEFORE(f1,f2)) =
311 F_STRONG_BEFORE(F_DESUGAR f1, F_DESUGAR f2))
313 (F_DESUGAR(EF_WEAK_BEFORE(f1,f2)) =
314 F_WEAK_BEFORE(F_DESUGAR f1, F_DESUGAR f2))
316 (F_DESUGAR(EF_STRONG_BEFORE_INC(f1,f2)) =
317 F_STRONG_BEFORE_INC(F_DESUGAR f1, F_DESUGAR f2))
319 (F_DESUGAR(EF_WEAK_BEFORE_INC(f1,f2)) =
320 F_WEAK_BEFORE_INC(F_DESUGAR f1, F_DESUGAR f2))