Searched defs:keep_symbol (Results 1 – 15 of 15) sorted by relevance
18 keep_symbol: label
18 int out_ffd;
199 bool keep_symbol; member
553 remove_from_hash_tables (Btor *btor, BtorNode *exp, bool keep_symbol) in remove_from_hash_tables()