andrioni/gambit — pull request #1 by tturocy (2012-08-16 07:31:06+00:00)
Title: Support terminology

This outlines concepts and terminology for manipulating support profiles and restrictions of a game.

Loosely, a "support profile" is a subset of a game's strategies. A "restriction" is a game that is derived from another game by dropping strategies. Support profiles can be modified freely. Restrictions however are intended to be read-only/immutable.

In this implementation the one particularly awkward bit is StrategySupportProfile.undominated(). I think with these new concepts, we can move to using a c_StrategySupport internally for StrategySupportProfile, which could simplify this, and other parts of the StrategySupportProfile implementation.

I have left the development of this idea as a series of small commits, but they could easily be collapsed into one commit for merge.