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

# refine(?Set)

Instantiate Set to a possible value

## Description

Instantiate Set to a possible value. The predicate backtracks over all possible set instantiations. refine/1 is a special instance of the more general insetdomain/4 predicate, and is defined as

        refine(Set) :-
        	insetdomain(Set, any, small_first, in_notin).

### Resatisfiable

yes

## See Also

fd_sets : insetdomain / 4, ic_sets : insetdomain / 4, ic_hybrid_sets : insetdomain / 4