Invariant




<programming> A rule, such as the ordering of an ordered list or heap, that applies throughout the life of a data structure or procedure.

Each change to the data structure must maintain the correctness of the invariant.



< Previous Terms Terms Containing invariant Next Terms >
Intuition
intuitionism
intuitionistic logic
intuitionistic probability
intuitionist logic
axiomatic semantics
Bezier curve
Eiffel
Extended C++
GNU Free Documentation License
inverse
Inverse Address Resolution Protocol
inverse comment convention
inverted index
InWorld VR