Home
last modified time | relevance | path

Searched refs:ltag_desc_t (Results 1 – 3 of 3) sorted by relevance

/dports/math/yices/yices-2.6.2/src/solvers/egraph/
H A Degraph_types.h504 } ltag_desc_t; typedef
506 #define MAX_LTAG_DESC_ARITY ((UINT32_MAX-sizeof(ltag_desc_t))/sizeof(type_t))
511 ltag_desc_t **data;
515 #define MAX_LTAG_TABLE_SIZE (UINT32_MAX/sizeof(ltag_desc_t *))
H A Degraph_utils.c64 ltag_desc_t *d; in ltag_table_gc_mark()
H A Degraph.c369 static ltag_desc_t *new_ltag_desc(uint32_t n, type_t *dom) { in new_ltag_desc()
370 ltag_desc_t *tmp; in new_ltag_desc()
381 tmp = (ltag_desc_t *) safe_malloc(sizeof(ltag_desc_t) + n * sizeof(type_t)); in new_ltag_desc()
394 static bool ltag_desc_matches(ltag_desc_t *d, uint32_t n, type_t *dom) { in ltag_desc_matches()
454 tbl->data = (ltag_desc_t **) safe_malloc(n * sizeof(ltag_desc_t *)); in extend_ltag_table()
466 tbl->data = (ltag_desc_t **) safe_realloc(tbl->data, n * sizeof(ltag_desc_t *)); in extend_ltag_table()