kényszerítés

Rövid szöveges bemutatás: 
A kényszerítés az informatikában és a matematikában egy olyan fogalom, mellyel egy állapot lehetséges értékeit lehet korlátozni. Egy állapot lehetséges értékeit az állapotra felírt kényszerekkel korlátozzák. Ilyenkor az adott állapotot belekényszerítik a megkötésekbe, különben az állapot értékét érvénytelennek tekintik és nem fogadják el. Ha az állapot nem képes olyan értéket felvenni, amibe a belekényszerítés során akarták, akkor az állapot inkonzisztens és az állapottal kapcsolatos teljes feladatot nem lehet megoldani. Kényszeríteni sok mindennek lehet az értékét, egy környezeti változónak vagy az objektum belső változójának is.