|Did you know ...||Search Documentation:|
|Pack canny_tudor -- prolog/canny/bits.pl|
The implementation uses relational integer arithmetic, i.e. CLP(FD). Hence allows for forward and backward transformations from Word to Bits and vice versa. Integer Word applies a Shift and bit Width mask to integer Bits. Bits is always a smaller integer. Decomposes the problem into shifting and masking. Treats these operations separately.
The following predicates are exported, but not or incorrectly documented.