Searched defs:type (Results 1 - 6 of 6) sorted by relevance

/hets/DMU/
H A DOntoDMU.jar ... getSType () public void setSType (java.lang.String) String type public java.lang.String getSName () public void setSName ...
/hets/utils/el/
H A Dcasl-indent.el19 :type 'integer
24 :type 'integer
62 (fset 'event-basic-type 'event-key)
212 (defun casl-indent-type-at-point ()
213 "Returns the type of the line (also puts information in `match-data')."
222 ;; fuer type-definition
244 (and (not (member (casl-indent-type-at-point)
270 type)
273 (setq type (casl-indent-type
[all...]
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
/hets/MMT/
H A Dhets-mmt-standalone.jarmain/main.jar .version OneJar.class OneJar.java package public OneJar extends java.lang ...
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 41 milliseconds