Before revision: Node Expansion The top node in the queue is expanded as follows: If the rhs-value if a node equals its g-value, the node is locally consistent and is removed from the queue.
After revision: Node Expansion The top node in the queue is expanded as follows: If the rhs-value of a node equals its g-value, the node is locally consistent and is removed from the queue.