Searched refs:EGRAPH_ATM_TAG (Results 1 – 3 of 3) sorted by relevance
454 EGRAPH_ATM_TAG = 0, enumerator480 return (void *)(((size_t) atm) | EGRAPH_ATM_TAG); in tagged_egraph_atom()
418 case EGRAPH_ATM_TAG: in print_egraph_conflict()629 assert(atom_tag(atom) == EGRAPH_ATM_TAG); in print_egraph_atom_of_literal()778 if (atm != NULL && atom_tag(atm) == EGRAPH_ATM_TAG) { in print_egraph_atoms()
1112 if (a != NULL && atom_tag(a) == EGRAPH_ATM_TAG) { in get_egraph_atom_for_bvar()3291 if (atom != NULL && atom_tag(atom) == EGRAPH_ATM_TAG) { in egraph_bvar2term()6324 case EGRAPH_ATM_TAG: in egraph_assert_atom()6575 case EGRAPH_ATM_TAG: in egraph_expand_explanation()6659 case EGRAPH_ATM_TAG: in egraph_select_polarity()