72 #define BTOR_COND_INVERT_AIG_NODE(exp, aig) \  argument
75 #define BTOR_AIGVEC_NODE(btor, exp)                                     \  argument
133 btor_find_substitution (Btor *btor, BtorNode *exp)  in btor_find_substitution()
156 substitution_cycle_check_dbg (Btor *btor, BtorNode *exp, BtorNode *subst)  in substitution_cycle_check_dbg()
195                           BtorNode *exp,  in btor_insert_substitution()
829   BtorNode *exp;  in release_all_ext_exp_refs()  local
897   BtorNode *exp;  in btor_delete()  local
1155 btor_insert_unsynthesized_constraint (Btor *btor, BtorNode *exp)  in btor_insert_unsynthesized_constraint()
1209 constraint_is_inconsistent (Btor *btor, BtorNode *exp)  in constraint_is_inconsistent()
1226 insert_into_constraint_tables (Btor *btor, BtorNode *exp)  in insert_into_constraint_tables()
1361                         BtorNode *exp,  in normalize_substitution()
1367   BtorNode *left, *right, *real_left, *real_right, *tmp, *inv, *var, *lambda;  in normalize_substitution()  local
1585 insert_new_constraint (Btor *btor, BtorNode *exp)  in insert_new_constraint()
1706 add_constraint (Btor *btor, BtorNode *exp)  in add_constraint()
1762 btor_assert_exp (Btor *btor, BtorNode *exp)  in btor_assert_exp()
1775 exp_to_cnf_lit (Btor *btor, BtorNode *exp)  in exp_to_cnf_lit()
1831 btor_assume_exp (Btor *btor, BtorNode *exp)  in btor_assume_exp()
1859 btor_is_assumption_exp (Btor *btor, BtorNode *exp)  in btor_is_assumption_exp()
1870 btor_failed_exp (Btor *btor, BtorNode *exp)  in btor_failed_exp()
2014   BtorNode *exp;  in btor_fixate_assumptions()  local
2121 btor_set_simplified_exp (Btor *btor, BtorNode *exp, BtorNode *simplified)  in btor_set_simplified_exp()
2165 recursively_pointer_chase_simplified_exp (Btor *btor, BtorNode *exp)  in recursively_pointer_chase_simplified_exp()
2215 btor_node_get_simplified (Btor *btor, BtorNode *exp)  in btor_node_get_simplified()
2244 simplify_constraint_exp (Btor *btor, BtorNode *exp)  in simplify_constraint_exp()
2291 btor_simplify_exp (Btor *btor, BtorNode *exp)  in btor_simplify_exp()
2474                      BtorNode *exp,  in btor_synthesize_exp()
2775   BtorNode *exp, *cur, *e;  in btor_add_again_assumptions()  local
3098 is_valid_argument (Btor *btor, BtorNode *exp)  in is_valid_argument()
3145 exp_to_aig (Btor *btor, BtorNode *exp)  in exp_to_aig()
3175 btor_exp_to_aigvec (Btor *btor, BtorNode *exp, BtorPtrHashTable *backannotation)  in btor_exp_to_aigvec()