InferiorCells.cpp File Reference

#include "BitsetIterator.hpp"
#include "InferiorCells.hpp"

Go to the source code of this file.

---

Detailed Description

Todo:

Handle a sink in the dominated component graph being partially outside the mustplay -- in this case, no representative of the sink need be chosen (they are all losing).

Note:

The set of dominated cells must be recomputed each time the domination graph or the vulnerable or reversible info is changed. Dominated() does this computation lazily when required.

Definition in file InferiorCells.cpp.