[ library(repair) | Reference Manual | Alphabetic Index ]

tenable(?Var)

Check if Var is tenable.
Var
Term

Description

Succeeds if Term is tenable. A Term is tenable if it does not contain any variables with tentative values which are inconsistent with any constraints involving thevariable. Note that variables with no tentative values are considered tenable.

Fail Conditions

Fails if Var is non-tenable.

Resatisfiable

no

Examples

% lib(fd) is loaded

[eclipse 3]: X::1..5, X tent_set 3, tenable(X).  % suceeds

[eclipse 3]: X::1..5, X tent_set 7, tenable(X).  % fails

See Also

tent_set / 2, conflict_vars / 1