Searched refs:N3 (Results 1 - 7 of 7) sorted by relevance
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | tidy.pl | 199 eval(N2-N1, N3), 200 bag_to_tidy(+(T2, H2, N3), Rhs). 201 combine_rel(+(T1, H1, N1), N2, Lhs, N3) :- 203 eval(N2-N1, N3), 208 eval(N2/N1, N3), 209 bag_to_tidy(*(T2, H2, N3), Rhs). 210 combine_rel(*(T1, H1, N1), N2, Lhs, N3) :- 213 eval(N2/N1, N3), 308 combine_plus(+(T1, H1, N1), +(T2, T1, N2), +(T2, H1, N3)) :- !, 309 add(N1, N2, N3) [all...] |
/barrelfish-master/lib/openssl-1.0.0d/crypto/bn/asm/ |
H A D | ppc64-mont.pl | 135 $N0="f14"; $N1="f15"; $N2="f16"; $N3="f17"; 304 lfd $N3,`$FRAME+120`($sp) 312 fcfid $N3,$N3 331 stfdu $N3,64($nap_d) 346 fmadd $T3a,$N3,$na,$T3a 347 fmadd $T3b,$N3,$nb,$T3b 357 fmadd $dota,$N3,$nc,$dota 358 fmadd $dotb,$N3,$nd,$dotb 412 lfd $N3,` [all...] |
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | puzzle.pl | 29 structure([friend(N1,C1,S1), friend(N2,C2,S2), friend(N3,C3,S3)]).
|
/barrelfish-master/lib/lua/src/ |
H A D | lundump.c | 188 #define N3 N2+6 macro 200 if (memcmp(h,s,N3)!=0) error(S,"incompatible"); else error(S,"corrupted");
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | domain.pl | 304 length(L2,N2),length(L3,N3),N2>N3 | X-Y::L3. 306 length(L2,N2),length(L3,N3),N2>N3 | X-Y::L3.
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | r.pl | 586 merge_and_detect_new_vars(N1s, N2s, N3, NewVars), 587 collect(N3, N, Zeros). 591 merge_and_detect_new_vars(N1, N2, N3, NewVars), 592 collect(N3, N, Zeros).
|
/barrelfish-master/usr/eclipseclp/Mercury/ |
H A D | m_tree234.pl | 2777 count(T3, N3), 2778 N is 3 + N0 + N1 + N2 + N3.
|
Completed in 57 milliseconds