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 111 milliseconds