[ 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