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

Manu

19y

5.9k

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

19y