Lines Matching refs:ep
147 let f = (fun ep -> is_in g (x,SyncSend,ep)) in
154 let f = (fun ep -> is_in g (x,Receive,ep)) in
191 let f = (fun ep -> is_in g (l,SyncSend,ep)||is_in g (l,ASyncSend,ep) ) in
200 let f = (fun ep -> is_in g (l,Reset,ep) ) in
209 (those_is_in_such2 (nodes g) (fun ep -> is_in g (l,Receive,ep)) )
210 (those_is_in_such2 (nodes g) (fun ep -> is_in g (x,SyncSend,ep)) ) ||
212 (those_is_in_such2 (nodes g) (fun ep -> is_in g (l,SyncSend,ep)||is_in g (l,ASyncSend,ep)||is_in g (l,Reset,ep)) )
213 (those_is_in_such2 (nodes g) (fun ep -> is_in g (x,Receive,ep)) ) ||