Searched refs:ADD_TERM (Results 1 – 2 of 2) sorted by relevance
128 enum { ADD_NONE, ADD_CHAR, ADD_TERM, ADD_ASSERT, ADD_ATOM } last_added_; enumerator
1162 LAST(ADD_TERM); in AddQuantifierToAtom()1176 LAST(ADD_TERM); in AddQuantifierToAtom()