[ 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