Name
CopyTree -- Copies a subtree to a terminal node
Synopsis
CopyTree[from->NODE, to->NODE] =: NODE |
Description
CopyTree copies the subtree rooted at
from to the terminal node
to in the same extensive form game. The nodes
in the copied subtree belong to the same information sets as their
counterparts in the original subtree. Returns the node
to. It is an error if
from and to are not from
the same extensive form game, or if to is not a
terminal node. The function has no effect if the copying operation
would violate the currently marked subgame structure.