Did you know ... Search Documentation:
bounds.pl -- Simple integer solver that keeps track of upper and lower bounds
PublicShow source
author
- Tom Schrijvers
deprecated
- No longer maintained. Please use clpfd.pl

Undocumented predicates

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

Source sum(Arg1, Arg2, Arg3)
Source check(Arg1)
Source in(Arg1, Arg2)
Source serialized(Arg1, Arg2)
Source tuples_in(Arg1, Arg2)
Source all_different(Arg1)
Source lex_chain(Arg1)
Source labeling(Arg1, Arg2)
Source indomain(Arg1)
Source #\(Arg1, Arg2)
Source #\/(Arg1, Arg2)
Source #/\(Arg1, Arg2)
Source Arg1 #<= Arg2
Source Arg1 #=> Arg2
Source Arg1 #<=> Arg2
Source #\=(Arg1, Arg2)
Source #=(Arg1, Arg2)
Source #=<(Arg1, Arg2)
Source #>=(Arg1, Arg2)
Source #<(Arg1, Arg2)
Source #>(Arg1, Arg2)
Source #\(Arg1)
Source label(Arg1)