Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/context/
H A Deq_abstraction.h109 #define EQABS_MAX_SCSIZE EQABS_MAX_CSIZE macro
H A Deq_abstraction.c94 assert(n < EQABS_MAX_SCSIZE); in init_epartition_manager()
191 if (k >= EQABS_MAX_SCSIZE) { in resize_subclass_array()