Detailed Description

The greedy sequence interface.

This sequence type prefers to make the maximal possible sequence progress.

Note: This class is just a very thin wrapper and does nothing by its own. It just exists, so that users have something they can attach expectations to. In fact, objects of this type may even go out of scope before the attached expectations are destroyed.

The documentation for this class was generated from the following file: