Not to be confused with Invariance
Invariants
Logical conditions guaranteed to be true at specific points of a program
For example, in OOP, School class expects Student field to always be positive integers
Not to be confused with Invariance
Logical conditions guaranteed to be true at specific points of a program
For example, in OOP, School class expects Student field to always be positive integers