Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/floyd_warshall/
H A Drdl_floyd_warshall.h344 #define MAX_RDL_UNDO_STACK_SIZE (UINT32_MAX/sizeof(rdl_undo_record_t)) macro
H A Drdl_floyd_warshall.c1225 assert(n < MAX_RDL_UNDO_STACK_SIZE); in init_rdl_undo_stack()
1240 if (n >= MAX_RDL_UNDO_STACK_SIZE) { in extend_rdl_undo_stack()