Searched refs:ONE (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/lib/libc/quad/
H A Dfixunsdfdi.c44 #define ONE (ONE_FOURTH * 4.0) macro
72 toppart = (x - ONE_HALF) / ONE;
H A Dfixunssfdi.c44 #define ONE (ONE_FOURTH * 4.0) macro
76 toppart = (x - ONE_HALF) / ONE;
/barrelfish-master/usr/eclipseclp/Opium/
H A Dopium.pl33 - ONE WITH THE COMMON PARTS BETWEEN OPIUM AND OPIUM LIGHT
34 - ONE WITH THE PARTICULARITIES OF EACH
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dfd.pl406 ( NSV == 1 -> % ONE value
414 ( NSV == 1 -> % ONE value
424 ( NSV == 1 -> % ONE value
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dextchr.tex174 \item terminological reasoning (similar to KL-ONE) \cite{fru93b} ({\tt *kl-one*})\index{terminological constraints},
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dsearch.tex1142 standard model for the queens problem (given below) to find ONE

Completed in 105 milliseconds