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

   Reified version of shift(X,C,Y)

Arguments
   X                   variable or domain value
   C                   variable or integer
   Y                   variable or domain value
   Bool                0, 1, or boolean variable

Type
   library(ic_symbolic)

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

See Also
   shift / 3
