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