Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/floyd_warshall/
H A Didl_floyd_warshall.h161 #define MAX_IDL_MATRIX_DIMENSION 65535 macro
425 #define MAX_IDL_VERTICES MAX_IDL_MATRIX_DIMENSION
H A Didl_floyd_warshall.c169 if (n >= MAX_IDL_MATRIX_DIMENSION || new_size >= SIZE_MAX) { in resize_idl_matrix()