2 ms·

I think the term you're looking for is constraint propagation. That's a nice programming paradigm, unfortunately a bit obscure now.