[ library(tentative) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# var_get_violations(?X, -Violations)

Get X's violation count

X
  A a tentative variable or instantiated term
Violations
  Variable, will be bound to a number

## Description

Get X's violations count. The violation count of a tentative variable is the cumulative result of all previous increments of that count. The violation count of a nonvariable term is 0.

### Modes and Determinism

- var_get_violations(?, -) is det

### Exceptions

(tentative_value_not_set)
  X is a variable without tentative value

## Examples

        ?- tent_set(X, 27), var_get_violations(X, V).
        X = X{27 -> 0}
        V = 0
        Yes (0.00s cpu)

        ?- tent_set(X, 27), var_inc_violations(X, 3), var_get_violations(X, V).
        X = X{27 -> 3}
        V = 3
        Yes (0.00s cpu)

        ?- var_get_violations(a, V).
        V = 0
        Yes (0.00s cpu)

        ?- var_get_violations(_, V).
        uncaught exception in exit_block(tentative_value_not_set)
        Abort

## See Also

tent_set / 2, var_inc_violations / 2