1
Reply

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

Manu

Manu

Jul 14, 2006
5.8k
0

    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.
    .

    Dinesh Beniwal
    July 14, 2006
    0