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

# indomain(?Var)

Instantiates an integer IC variable to an element of its domain.

Var
  An integer IC variable or an integer

## Description

Simple predicate for instantiating an integer IC variable to an element of its domain. It starts with the smallest element, and upon backtracking tries successive elements until the entire domain has been explored, at which point the predicate fails.

If Var is already a ground integer, then this predicate simply succeeds exactly once without leaving a choicepoint.

### Resatisfiable

Yes.

## See Also

labeling / 1, :: / 2, ic_symbolic : indomain / 1, gfd : indomain / 1, sd : indomain / 1, fd : indomain / 1