Searched refs:checker (Results 1 - 11 of 11) sorted by relevance
| /hets/Maude/doc/ |
| H A D | dg.tex | 73 can be checked with a special conservativity checker that is
|
| /hets/OWL2/java/de/unibremen/informatik/locality/ |
| H A D | LocalityChecker.java | 40 boolean local = checker(cl);
56 private static Boolean checker(LocalityClass cl) { method in class:LocalityChecker
|
| /hets/OWL2/java/lib/ |
| H A D | owlapi-osgidistribution-3.5.2.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ... |
| /hets/doc/ |
| H A D | UserGuideCommonLogic.tex | 1272 checker'' shown in Fig.~\ref{fig:cons_window}. This GUI is invoked from
1284 \caption{Selection of consistency checker\label{fig:cons_devGraph}}
1307 \caption{Consistency checker results\label{fig:cons_res}}
|
| H A D | UserGuide.tex | 1164 \item[Consistency checker]
1241 \item[Check consistency] Simply calls the global ``Consistency checker'' menu
1612 checker'' shown in Fig. \ref{fig:cons_window}. This GUI is invoked from
1935 Calculus\cite{Baumgartner:2003}. The integration of Darwin as a consistency checker
1981 a static checker and a prover for basic specifications in the logic have
|
| /illumos-gate/usr/src/lib/nsswitch/ldap/common/ |
| H A D | ldap_utils.c | 217 char *checker; local
233 checker = (char *)userdata;
235 checker = strchr(checker, '%');
236 if (checker != NULL) {
237 if (len > 0 || *(checker + 1) != 's')
240 checker += 2;
243 } while (checker != NULL);
|
| /illumos-gate/usr/src/lib/libsldap/common/ |
| H A D | ns_getalias.c | 74 char *checker; local
86 checker = (char *)userdata;
88 checker = strchr(checker, '%');
89 if (checker != NULL) {
90 if (len > 0 || *(checker + 1) != 's')
93 checker += 2;
96 } while (checker != NULL);
|
| /illumos-gate/usr/src/cmd/fm/eversholt/common/ |
| H A D | check.c | 67 int (*checker)(enum nodetype t, const char *s, struct node *np); member in struct:__anon451
419 /* NULL name means just call checker */
420 (*Allowednames[i].checker)(t, s,
469 (*Allowednames[i].checker)(t, s, nvpairnp->u.expr.right);
|
| /illumos-gate/usr/src/cmd/idmap/idmapd/ |
| H A D | nldaputils.c | 151 char *checker; local
161 checker = (char *)userdata;
163 checker = strchr(checker, '%');
164 if (checker != NULL) {
165 if (len > 0 || *(checker + 1) != 's')
168 checker += 2;
171 } while (checker != NULL);
|
| /illumos-gate/usr/src/cmd/ldap/ns_ldap/ |
| H A D | ldaplist.c | 152 char *checker; local
165 checker = (char *)userdata;
167 checker = strchr(checker, '%');
168 if (checker != NULL) {
169 if (len > 0 || *(checker + 1) != 's')
172 checker += 2;
175 } while (checker != NULL);
|
| /illumos-gate/usr/src/uts/sun4u/cpu/ |
| H A D | spitfire.c | 2590 uchar_t checker, bit_mask; local
2605 * xor all bits in masked_data[i] to get bit_i of checker,
2608 checker = 0;
2612 if (masked_data[i].lo & 1) checker ^= bit_mask;
2613 if (masked_data[i].hi & 1) checker ^= bit_mask;
2618 return (checker);
|
Completed in 101 milliseconds