Searched refs:exp_to_aig (Results 1 – 1 of 1) sorted by relevance
82 static BtorAIG *exp_to_aig (Btor *, BtorNode *);1131 aig = exp_to_aig (btor, cur); in btor_process_unsynthesized_constraints()1796 aig = exp_to_aig (btor, exp); in exp_to_cnf_lit()2833 aig = exp_to_aig (btor, cur); in btor_add_again_assumptions()3145 exp_to_aig (Btor *btor, BtorNode *exp) in exp_to_aig() function