produces a tenable variable (note how the tentative value is printed as the variable's repair-attribute), while on the other hand[eclipse 3]: fd:(X::1..5), X tent_set 3. X = X{fd:[1..5], repair:3}
produces an untenable variable. Note that, unlike logical assignments, the tentative value can be changed:[eclipse 3]: fd:(X::1..5), X tent_set 7. X = X{fd:[1..5], repair:7}
[eclipse 3]: fd:(X::1..5), X tent_set 7, X tent_set 3. X = X{fd:[1..5], repair:3}
Variable Groundness | Variable Tenability | Value in Tentative Assignment |
Ground | Tenable | Ground Value |
Ground | Not Tenable | Ground Value |
Not Ground | Tenable | Tentative Value |
Not Ground | Not Tenable | Undefined |