Searched refs:checker (Results 1 - 5 of 5) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/locality/
H A DLocalityChecker.java40 boolean local = checker(cl);
56 private static Boolean checker(LocalityClass cl) { method in class:LocalityChecker
/hets/Maude/doc/
H A Ddg.tex73 can be checked with a special conservativity checker that is
/hets/doc/
H A DUserGuide.tex1164 \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
H A DUserGuideCommonLogic.tex1272 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}}
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...

Completed in 25 milliseconds