[ 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