Searched refs:ADD_ATOM (Results 1 – 2 of 2) sorted by relevance
292 enum {ADD_NONE, ADD_CHAR, ADD_TERM, ADD_ASSERT, ADD_ATOM} last_added_; enumerator
107 LAST(ADD_ATOM); in FlushCharacters()156 LAST(ADD_ATOM); in AddAtom()224 ASSERT(last_added_ == ADD_ATOM); in AddQuantifierToAtom()228 ASSERT(last_added_ == ADD_ATOM); in AddQuantifierToAtom()