What are the conditions that have to be met for a condition to be an invariant of the class?

Q

What are the conditions that have to be met for a condition to be an invariant of the class?

✍: Guest

A

* The condition should hold at the end of every constructor.
* The condition should hold at the end of every mutator (non-const) operation.

2012-01-12, 2677👍, 0💬