Класс: slreq. Оправдание
Пакет: slreq
Перемещение обоснования вниз в иерархии
tf = moveDown(jt)
перемещает выравнивание tf
= moveDown(jt
)jt
вниз на одно место в иерархии и возвращается 1
если перемещение выполняется без ошибок. Обоснование jt
невозможно переместить на новый уровень в иерархии.
copy
| move
| moveUp
| slreq.Justification