DeleteTree

Name

DeleteTree -- Removes a subtree from an extensive form game

Synopsis

DeleteTree[node->NODE] =: NODE 

Description

DeleteTree deletes the subtree rooted at node. The node then becomes a terminal node, which is returned.

See also

DeleteMove.