noun
Meaning 1
An invariant used to constrain objects of a class that is preserved by class methods and that constrains the state stored in the object.
Definition source: English Wiktionary via Wiktextract
Qualifier: object-oriented programming
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: type invariant
Antonyms: none provided