Searched refs:BtorNodeUniqueTable (Results 1 – 3 of 3) sorted by relevance
52 struct BtorNodeUniqueTable struct59 typedef struct BtorNodeUniqueTable BtorNodeUniqueTable; argument97 BtorNodeUniqueTable nodes_unique_table;
741 BtorNodeUniqueTable *btable, *ctable; in chkclone_node_unique_table()
776 BtorNodeUniqueTable *table, *res; in clone_nodes_unique_table()