Searched refs:ADD_TERM (Results 1 – 1 of 1) sorted by relevance
426 enum {ADD_NONE, ADD_CHAR, ADD_TERM, ADD_ASSERT, ADD_ATOM} last_added_; enumerator576 LAST(ADD_TERM); in AddQuantifierToAtom()589 LAST(ADD_TERM); in AddQuantifierToAtom()