[ 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

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