Class invariant
This article is about class invariants in computer science; for use of the term in mathematics, see equivalence class and invariant.
In computer science, a class invariant is an invariant used to constrain objects of a class. Methods of the class should preserve the invariant.
This article is a stub. You can help Wikipedia by expanding it.