Search:

C++ Programming FAQ

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

Shared By: Adah Miller Date: Jan 25 Category: C++ Programming Views: 187

Answer:

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

Previous Post:

Define precondition and post-condition to a member function.

Next Post:

What are proxy objects?

Didn't find what you were looking for? Find more on What are the conditions that have to be met for a condition to be an invariant of the class? Or get search suggestion and latest updates.

Related Topics:

Your Comment

Tagged:what are the conditions that have to be met for condition an invariant of class

RSS Feeds:	Articles \| Forum \| New Users \| Activities \| Interview FAQ \| Poll \| Hotlinks
Social Networking:	Hall of Fame \| Facebook \| Twitter \| LinkedIn
Terms:	Terms of Use \| Privacy Policy \| Contact us