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

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)