visit_node


Description:

public void visit_node () throws Error

Charge one visited node against this operation's node budget.