Lines Matching refs:implies
72 if (!w.implies(u) || !u.implies(w)) {
76 if (w.implies(u) || u.implies(w)) {
90 if (!w.implies(u) || !u.implies(w)) {
94 if (w.implies(u) || u.implies(w)) {
108 if (!w.implies(u) || !u.implies(w)) {
112 if (w.implies(u) || u.implies(w)) {
126 if (!w.implies(u) || !u.implies(w)) {
130 if (w.implies(u) || u.implies(w)) {
144 if (!w.implies(u) || !u.implies(w)) {
151 // on unix, /- implies everything
153 if (w.implies(u) || !u.implies(w)) {
167 if (!w.implies(u) || !u.implies(w)) {
171 if (!w.implies(u) || !u.implies(w)) {
188 // - implies *, but not the other way around
190 if (!w.implies(u) || u.implies(w)) {
197 // - implies *, but not the other way around
199 if (!w.implies(u) || u.implies(w)) {
213 if (!w.implies(u) || !u.implies(w)) {
217 if (w.implies(u) || u.implies(w)) {
231 if (!w.implies(u) || u.implies(w)) {
235 if (w.implies(u) || u.implies(w)) {
249 if (!w.implies(u) || u.implies(w)) {
253 if (w.implies(u) || u.implies(w)) {
277 if (standard.implies(recursive) || standard.implies(wild)) {