172
правки
Изменения
→Принцип работы
Три случая называются следующим образом:
* <mathtex> generate\mathbf{g} \mathtt{enerate}</mathtex> {{---}} ''порождение'' переноса,* <mathtex>kill\mathbf{k} \mathtt{ill}</mathtex> {{---}} ''уничтожение'' переноса,* <mathtex>propagate\mathbf{p} \mathtt{ropagate}</mathtex> {{---}} ''проталкивание'' переноса.
Поскольку последовательное применение этих трёх действий над переносами принадлежит также одному из этих типов, то можно определить композицию действий над переносами. Обозначим композицию значком <tex>\otimes</tex> и построим таблицу значений (в столбце первый аргумент, в строке — второй):
