Home
last modified time | relevance | path

Searched defs:partition_merge (Results 1 – 2 of 2) sorted by relevance

/dports/math/yices/yices-2.6.2/src/utils/
H A Dunion_find.c170 void partition_merge(partition_t *p, int32_t x, int32_t y) { in partition_merge() function
/dports/math/yices/yices-2.6.2/src/context/
H A Dinternalization_table.c314 static void partition_merge(intern_tbl_t *tbl, term_t x, term_t y) { in partition_merge() function