Searched refs:BTOR_AIG_FALSE (Results 1 – 10 of 10) sorted by relevance
444 if (left == BTOR_AIG_FALSE || right == BTOR_AIG_FALSE) return BTOR_AIG_FALSE; in btor_aig_and()462 return BTOR_AIG_FALSE; in btor_aig_and()470 return BTOR_AIG_FALSE; in btor_aig_and()484 return BTOR_AIG_FALSE; in btor_aig_and()676 return BTOR_AIG_FALSE; in btor_aig_and()796 assert ((size_t) BTOR_AIG_FALSE == 0); in btor_aig_mgr_new()1080 assert (cur == BTOR_AIG_FALSE); in is_or_aig()1368 if (root == BTOR_AIG_FALSE) in btor_aig_add_toplevel_to_sat()1450 if (root == BTOR_AIG_FALSE) in btor_aig_add_toplevel_to_sat()1472 if (aig == BTOR_AIG_FALSE) return -1; in btor_aig_get_assignment()[all …]
74 #define BTOR_AIG_FALSE ((BtorAIG *) (uintptr_t) 0) macro92 return aig == BTOR_AIG_TRUE || aig == BTOR_AIG_FALSE; in btor_aig_is_const()98 return aig == BTOR_AIG_FALSE; in btor_aig_is_false()
52 !btor_bv_get_bit (bits, width - 1 - i) ? BTOR_AIG_FALSE : BTOR_AIG_TRUE; in btor_aigvec_const()65 for (i = 0; i < width; i++) result->aigs[i] = BTOR_AIG_FALSE; in btor_aigvec_zero()158 res = BTOR_AIG_FALSE; in lt_aigvec()287 cout = cin = BTOR_AIG_FALSE; /* for 'cout' to avoid warning */ in btor_aigvec_add()581 cout = BTOR_AIG_FALSE; in mul_aigvec()673 for (i = 0; i <= size; i++) S[j][i] = BTOR_AIG_FALSE; in udiv_urem_aigvec()680 for (i = 0; i <= size; i++) C[j][i] = BTOR_AIG_FALSE; in udiv_urem_aigvec()
71 if (aig == BTOR_AIG_FALSE) return -1; in get_assignment_aig()260 if (aig == BTOR_AIG_FALSE) goto UNSAT; in sat_aigprop_solver()
1132 if (aig == BTOR_AIG_FALSE) in btor_process_unsynthesized_constraints()1804 if (aig == BTOR_AIG_FALSE) sign *= -1; in exp_to_cnf_lit()1932 && real_exp->av->aigs[0] == BTOR_AIG_FALSE)); in btor_failed_exp()1937 && real_exp->av->aigs[0] == BTOR_AIG_FALSE) in btor_failed_exp()1976 if ((btor_node_is_inverted (e) && aig == BTOR_AIG_FALSE) in btor_failed_exp()1980 || (!btor_node_is_inverted (e) && aig == BTOR_AIG_FALSE)) in btor_failed_exp()
374 assert ((real_aig == BTOR_AIG_FALSE && real_clone == BTOR_AIG_FALSE) in chkclone_aig()377 if (real_aig != BTOR_AIG_FALSE) in chkclone_aig()
109 ASSERT_TRUE (av2->aigs[1] == BTOR_AIG_FALSE); in TEST_F()113 ASSERT_TRUE (av2->aigs[0] == BTOR_AIG_FALSE); in TEST_F()115 ASSERT_TRUE (av2->aigs[2] == BTOR_AIG_FALSE); in TEST_F()116 ASSERT_TRUE (av2->aigs[3] == BTOR_AIG_FALSE); in TEST_F()119 ASSERT_TRUE (av2->aigs[1] == BTOR_AIG_FALSE); in TEST_F()
50 btor_dumpaig_dump_aig (amgr, 0, d_log_file, BTOR_AIG_FALSE); in TEST_F()
23 if (aig == BTOR_AIG_FALSE) return 0; in aiger_encode_aig()84 BTOR_PUSH_STACK (roots, BTOR_AIG_FALSE); in dumpaig_dump_aux()
36 else if (aig == BTOR_AIG_FALSE) in fixed_exp()