Invariant nedir

Giriş

Açıklaması şöyle

An invariant is not documentation describing what usually happens. It is a condition that must remain true across every valid transition in the system.

Örnek

Available + reserved= total inventory