Next: 4.6.0 Other Changes, Up: 4.6.0 Changes [Contents]
library(is_directives) is a new library module that provides
access to information declared by is/2 directives, in particular, about determinacy.
print_profile/[0,1] are sensitive to determinacy declarations.
subcircuit/[1,2], a variant of circuit/[1,2];
diffn/[1,2], a generalization and recommended replacement for
disjoint1/[1,2] and disjoint2/[1,2];
all_different_except_0/1, a variant of all_different/1;
all_distinct_except_0/1, a variant of all_distinct/1;
symmetric_all_different/1 and symmetric_all_distinct/;
minimum_arg/2 and maximum_arg/2.
fd_purge/1, a means of forgetting a variable’s domain and constraints.
subcircuit,
alldifferent_except_0,
symmetric_all_different,
seq_precede_chain,
cost_regular,
mdd,
mdd_regular,
minimum_arg/2 and maximum_arg/2.