author

- Tom Schrijvers

deprecated

- No longer maintained. Please use clpfd.pl

Undocumented predicates

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

 label(Arg1)

 serialized(Arg1, Arg2)

 check(Arg1)

 tuples_in(Arg1, Arg2)

 all_different(Arg1)

 sum(Arg1, Arg2, Arg3)

 labeling(Arg1, Arg2)

 lex_chain(Arg1)

 #\(Arg1, Arg2)

 #\/(Arg1, Arg2)

 #/\(Arg1, Arg2)

 Arg1 #<= Arg2

 Arg1 #=> Arg2

 Arg1 #<=> Arg2

 #\=(Arg1, Arg2)

 #=(Arg1, Arg2)

 #=<(Arg1, Arg2)

 #>=(Arg1, Arg2)

 #<(Arg1, Arg2)

 #>(Arg1, Arg2)

 #\(Arg1)

 in(Arg1, Arg2)

 indomain(Arg1)