- author
- - Tom Schrijvers
- deprecated
- - No longer maintained. Please use clpfd.pl
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
in(Arg1, Arg2)
all_different(Arg1)
#\/(Arg1, Arg2)
sum(Arg1, Arg2, Arg3)
Arg1 #<=> Arg2
#>=(Arg1, Arg2)
serialized(Arg1, Arg2)
lex_chain(Arg1)
#\(Arg1, Arg2)
Arg1 #=> Arg2
#=<(Arg1, Arg2)
#>(Arg1, Arg2)
label(Arg1)
indomain(Arg1)
check(Arg1)
#\(Arg1)
Arg1 #<= Arg2
#=(Arg1, Arg2)
#<(Arg1, Arg2)
tuples_in(Arg1, Arg2)
labeling(Arg1, Arg2)
#/\(Arg1, Arg2)
#\=(Arg1, Arg2)