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

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

No comments:

 
Top Blogs