Like in BRT, any such node whose evaluation results in the addition of new edges triggers the evaluation of the nodes potentially in their backward radius and so on until a fixpoint is reached.
Như trong BRT, bất kỳ nút như vậy mà kết quả đánh giá trong việc bổ sung mới cạnh gây ra việc thẩm định của node có khả năng của bán kính quay trở lại và vv. đến một fixpoint.
Giống như trong BRT, bất cứ nút nào đó mà đánh giá kết quả trong việc bổ sung các cạnh mới gây nên sự đánh giá của các nút có khả năng trong bán kính phía sau họ và như vậy cho đến khi một xpoint fi là đạt.