Home
last modified time | relevance | path

Searched refs:YICES_BV_LSHR (Results 1 – 2 of 2) sorted by relevance

/dports/math/yices/yices-2.6.2/src/include/
H A Dyices_types.h163 YICES_BV_LSHR, // logical shift right (padding with 0) enumerator
/dports/math/yices/yices-2.6.2/src/terms/
H A Dterm_explorer.c172 YICES_BV_LSHR, // BV_LSHR