Lines Matching refs:f2
52 | F_AND of fl * fl (* f1 \wedge f2 *)
54 | F_U of fl * fl (* [f1 U f2] *)
62 | F_OR of fl * fl (* f1 \vee f2 *)
63 | F_IMP of fl * fl (* f1 \rightarrow f2 *)
64 | F_IFF of fl * fl (* f1 \leftrightarrow f2 *)
68 | F_W of fl * fl (* [f1 W f2] *)
74 | F_STRONG_UNTIL of fl * fl (* [f1 until! f2] *)
75 | F_WEAK_UNTIL of fl * fl (* [f1 until f2] *)
76 | F_STRONG_UNTIL_INC of fl * fl (* [f1 until!_ f2] *)
77 | F_WEAK_UNTIL_INC of fl * fl (* [f1 until_ f2] *)
78 | F_STRONG_BEFORE of fl * fl (* [f1 before! f2] *)
79 | F_WEAK_BEFORE of fl * fl (* [f1 before f2] *)
80 | F_STRONG_BEFORE_INC of fl * fl (* [f1 before!_ f2] *)
81 | F_WEAK_BEFORE_INC of fl * fl (* [f1 before_ f2] *)
128 | O_AND of obe * obe (* f1 \wedge f2 *)
130 | O_EU of obe * obe (* E[f1 U f2] *)