Lines Matching full:possible
94 * Compute the relation containing these possible edges.
96 let possible-rfe-noncrit-lf e = (LKW * {e}) & loc & ext
98 (* Compute set of sets of possible rfe edges for LF events *)
99 let all-possible-rfe-lf =
101 * Convert the possible-rfe-noncrit-lf relation for e
105 map pair-to-relation (possible-rfe-noncrit-lf e)
110 with rfe-lf from cross(all-possible-rfe-lf)
116 * Compute the relation containing these possible edges.
118 let possible-rf-ru e = (((UL * {e}) & po-loc) \
122 (* Compute set of sets of possible rf edges for RU events *)
123 let all-possible-rf-ru =
124 (* Convert the possible-rf-ru relation for e to a set of single edges *)
126 map pair-to-relation (possible-rf-ru e)
131 with rf-ru from cross(all-possible-rf-ru)