Searched refs:Te (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | queens.pl | 139 Te is round((cputime - T1) * 100)/100, 141 term_string(Te, Se), 144 printf("\tSolving %.2f sec.\n%b", [Te])
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/aes/ |
H A D | aes_x86core.c | 107 Te [x] = S [x].[02, 01, 01, 03, 02, 01, 01, 03]; 113 #define Te0 (u32)((u64*)((u8*)Te+0)) 114 #define Te1 (u32)((u64*)((u8*)Te+3)) 115 #define Te2 (u32)((u64*)((u8*)Te+2)) 116 #define Te3 (u32)((u64*)((u8*)Te+1)) 130 static const u64 Te[256] = { variable
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | distfix.pl | 462 distfixop(P, T, Pn, Te) :- 464 write(error, distfixop(P,T,Pn,Te)), nl(error),
|
/barrelfish-master/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 717 PocketCoins = [P,Tw,Fv,Te,Twe,Ff], 718 Min =:= P+Tw+Fv+Te+Twe+Ff, 743 {\em [P, Tw, Fv, Te, Twe, Ff]} 751 {\em [Min, P, Tw, Fv, Te, Twe, Ff]}. 757 {\em Min \verb0=0 P+Tw+Fv+Te+Twe+Ff}. 785 {\em Te1 \verb0<=0 Te}, 808 PocketCoins=[P,Tw,Fv,Te,Twe,Ff], 810 Min $= P+Tw+Fv+Te+Twe+Ff, 856 PocketCoins=[P,Tw,Fv,Te,Twe,Ff], 858 Min #= P+Tw+Fv+Te [all...] |
Completed in 105 milliseconds