Searched refs:ADD_ASSERT (Results 1 – 2 of 2) sorted by relevance
207 enum {ADD_NONE, ADD_CHAR, ADD_TERM, ADD_ASSERT, ADD_ATOM} last_added_; enumerator
100 LAST(ADD_ASSERT); in AddAssertion()