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
.