Searched refs:ADD_ATOM (Results 1 – 2 of 2) sorted by relevance
1581 LAST(ADD_ATOM); in FlushCharacters()1670 LAST(ADD_ATOM); in AddAtom()1677 LAST(ADD_ATOM); in AddTerm()1773 DCHECK(last_added_ == ADD_ATOM); in AddQuantifierToAtom()1777 DCHECK(last_added_ == ADD_ATOM); in AddQuantifierToAtom()
143 enum { ADD_NONE, ADD_CHAR, ADD_TERM, ADD_ASSERT, ADD_ATOM } last_added_; enumerator