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

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

0 comments:

Post a Comment

Blogger news