Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/egraph/
H A Degraph_types.h480 #define NDISTINCTS 32 macro
481 #define MAX_DISTINCT_TERMS (NDISTINCTS-1)
485 composite_t *distinct[NDISTINCTS];
H A Degraph.c3963 assert(egraph->dtable.npreds < NDISTINCTS); in assert_distinct()