Lines Matching refs:zero
1342 \index{ zero, nella logica HOL@\ml{0} (zero, nella logica \HOL{})}
1845 ottali sono quelli che appaiono con gli zero in testa.
1882 `\ml{SUC}' per qualsiasi numerale diverso da zero. Per esempio:
2003 componente non deve essere zero. Per rendere le cose pi� semplici nella teoria \HOL\,
2222 che � impossibile introdurre word di lunghezza zero perch� tutti i tipi
2252 persi (esegue un'estrazione di bit), altrimenti la parola pi� lunga avr� lo stesso valore dell'originale (fornendo in effetti zero padding).
2331 L'ordinamento di un bit di parola pu� essere capovolto con \holtxt{word\_reverse}, cio� il bit zero � scambiato con il bit $n - 1$ e cos� via.
2461 \holtxt{word\_slice} & \holtxt{''} & \num\rarr\num\rarr\worda\rarr\worda & Set bits outside field to zero \\
3484 La traccia utente (si veda la Sezione~\ref{sec:traces}) \ml{"Univ~pretty-printing"} pu� essere impostata a zero per cancellare questo comportamento.