Searched refs:EQ_ATM (Results 1 – 4 of 4) sorted by relevance
60 EQ_ATM = 0x02, // x == k enumerator98 return tag_of_atom(atm) == EQ_ATM; in atom_is_eq()115 assert(tag == GE_ATM || tag == LE_ATM || tag == EQ_ATM); in arithatom_mk_header()
346 i = get_arith_atom(table, x, EQ_ATM, k, &new_atom); in get_literal_for_eq_atom()
156 case EQ_ATM: in print_arith_atom_op()
1787 case EQ_ATM: in create_binary_lemma()1803 case EQ_ATM: in create_binary_lemma()5116 case EQ_ATM: in check_lower_bound_implications()5174 case EQ_ATM: in check_upper_bound_implications()10735 case EQ_ATM: in simplex_eval_atom()12358 case EQ_ATM: in simplex_eval_atom_in_model()