Did you know ... Search Documentation:
Pack flux -- prolog/swi_fd.pl
PublicShow source

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 local(Arg1)
 getval(Arg1, Arg2)
 setval(Arg1, Arg2)
 ::(Arg1, Arg2)
 Arg1 do Arg2
 #>(Arg1, Arg2)
 #<(Arg1, Arg2)
 #>=(Arg1, Arg2)
 #=<(Arg1, Arg2)
 #=(Arg1, Arg2)
 #\=(Arg1, Arg2)
 #\(Arg1)
 #<==>(Arg1, Arg2)
 #==>(Arg1, Arg2)
 #<==(Arg1, Arg2)
 #\/(Arg1, Arg2)
 #\(Arg1, Arg2)
 #/\(Arg1, Arg2)
 in(Arg1, Arg2)
 ins(Arg1, Arg2)
 all_different(Arg1)
 all_distinct(Arg1)
 sum(Arg1, Arg2, Arg3)
 scalar_product(Arg1, Arg2, Arg3, Arg4)
 tuples_in(Arg1, Arg2)
 labeling(Arg1, Arg2)
 label(Arg1)
 indomain(Arg1)
 lex_chain(Arg1)
 serialized(Arg1, Arg2)
 global_cardinality(Arg1, Arg2)
 global_cardinality(Arg1, Arg2, Arg3)
 circuit(Arg1)
 cumulative(Arg1)
 cumulative(Arg1, Arg2)
 disjoint2(Arg1)
 element(Arg1, Arg2, Arg3)
 automaton(Arg1, Arg2, Arg3)
 automaton(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8)
 transpose(Arg1, Arg2)
 zcompare(Arg1, Arg2, Arg3)
 chain(Arg1, Arg2)
 fd_var(Arg1)
 fd_inf(Arg1, Arg2)
 fd_sup(Arg1, Arg2)
 fd_size(Arg1, Arg2)
 fd_dom(Arg1, Arg2)
 fd_degree(Arg1, Arg2)
 Arg1 in_set Arg2
 fd_set(Arg1, Arg2)
 is_fdset(Arg1)
 empty_fdset(Arg1)
 fdset_parts(Arg1, Arg2, Arg3, Arg4)
 empty_interval(Arg1, Arg2)
 fdset_interval(Arg1, Arg2, Arg3)
 fdset_singleton(Arg1, Arg2)
 fdset_min(Arg1, Arg2)
 fdset_max(Arg1, Arg2)
 fdset_size(Arg1, Arg2)
 list_to_fdset(Arg1, Arg2)
 fdset_to_list(Arg1, Arg2)
 range_to_fdset(Arg1, Arg2)
 fdset_to_range(Arg1, Arg2)
 fdset_add_element(Arg1, Arg2, Arg3)
 fdset_del_element(Arg1, Arg2, Arg3)
 fdset_disjoint(Arg1, Arg2)
 fdset_intersect(Arg1, Arg2)
 fdset_intersection(Arg1, Arg2, Arg3)
 fdset_member(Arg1, Arg2)
 fdset_eq(Arg1, Arg2)
 fdset_subset(Arg1, Arg2)
 fdset_subtract(Arg1, Arg2, Arg3)
 fdset_union(Arg1, Arg2, Arg3)
 fdset_union(Arg1, Arg2)
 fdset_complement(Arg1, Arg2)