Reveal

Name

Reveal -- Reveals the actions at an information set to specified players

Synopsis

Reveal[infoset->INFOSET, who->LIST(EFPLAYER)] =: INFOSET 

Description

Reveal reveals the list of actions at infoset to the players in who, refining their information partitions at all information sets in the extensive form game accordingly.