[ library(ic_symbolic) | Reference Manual | Alphabetic Index ]
&>=(?X, ?Y, ?Bool)
Reified version of X &>= Y
- X
- variable or domain value
- 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
&>= / 2