Searched refs:YICES_OR_TERM (Results 1 – 2 of 2) sorted by relevance
/dports/math/yices/yices-2.6.2/src/include/ | ||
H A D | yices_types.h | 153 YICES_OR_TERM, // n-ary OR enumerator |
/dports/math/yices/yices-2.6.2/src/terms/ | ||
H A D | term_explorer.c | 158 YICES_OR_TERM, // OR_TERM |