Email this page to a friend

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