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:

Post a Comment

comment on this post

Note: Only a member of this blog may post a comment.