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