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)
