Lines Matching refs:or
23 ((h1 eq h2 and l1 eq l2) or t1 == mlstrustedsubject);
27 (l1 dom l2 or t1 == mlstrustedsubject);
31 (l1 domby l2 or t1 == mlstrustedsubject);
41 ((h1 eq h2 and l1 eq l2) or t1 == mlstrustedsubject or t2 == mlstrustedsubject);
46 (l1 domby l2 or t1 == mlstrustedsubject or t2 == mlstrustedsubject);
51 (l1 eq l2 or t1 == mlstrustedsubject or t2 == mlstrustedsubject);
61 (l2 eq h2 and (l1 eq l2 or t1 == mlstrustedsubject));
71 (t2 != app_data_file or l1 eq l2 or t1 == mlstrustedsubject);
73 (t2 != app_data_file or l1 eq l2 or t1 == mlstrustedsubject);
80 # or the object is trusted.
82 (t2 == app_data_file or l1 dom l2 or t1 == mlstrustedsubject or t2 == mlstrustedobject);
85 (t2 == app_data_file or l1 dom l2 or t1 == mlstrustedsubject or t2 == mlstrustedobject);
88 # subject or the object is trusted.
90 (t2 == app_data_file or l1 domby l2 or t1 == mlstrustedsubject or t2 == mlstrustedobject);
93 (t2 == app_data_file or l1 domby l2 or t1 == mlstrustedsubject or t2 == mlstrustedobject);
100 (l1 dom l2 or t1 == mlstrustedsubject or t2 == mlstrustedobject or t2 == mlstrustedsubject);
103 (l1 domby l2 or t1 == mlstrustedsubject or t2 == mlstrustedobject or t2 == mlstrustedsubject);
109 # Create/destroy: equivalence or trusted.
111 (l2 eq h2 and (l1 eq l2 or t1 == mlstrustedsubject));
115 (l1 dom l2 or t1 == mlstrustedsubject);
119 (l1 domby l2 or t1 == mlstrustedsubject);
128 # (l1 eq l2 or t1 == mlstrustedsubject or t2 == mlstrustedsubject);
