Searched refs:btor_aig_compare (Results 1 – 3 of 3) sorted by relevance
224 int32_t btor_aig_compare (const BtorAIG *aig0, const BtorAIG *aig1);
261 res = btor_aig_compare (a->aigs[i], b->aigs[i]); in compare_aigvec_lsb_first()
1489 btor_aig_compare (const BtorAIG *aig0, const BtorAIG *aig1) in btor_aig_compare() function