Searched refs:MAX_ETERMS (Results 1 – 2 of 2) sorted by relevance
/dports/math/yices/yices-2.6.2/src/solvers/egraph/ | ||
H A D | egraph_base_types.h | 47 #define MAX_ETERMS (INT32_MAX>>3) macro |
H A D | egraph_types.h | 332 #define MAX_ETERM_TABLE_SIZE ((uint32_t)(MAX_ETERMS)) |