[ library(ic_symbolic) | Reference Manual | Alphabetic Index ]

shift(?X, ?C, ?Y, ?Bool)

Reified version of shift(X,C,Y)
X
variable or domain value
C
variable or integer
Y
variable or domain value
Bool
0, 1, or boolean variable

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

See Also

shift / 3