What are the conditions that have to be met for a condition to be an invariant of the class?
Manu
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..