Searched refs:SortParseOperation (Results 1 – 1 of 1) sorted by relevance
518 enum SortParseOperation { in declareSort() enum523 static Stack<pair<SortParseOperation,LExpr*> > todo; in declareSort()544 pair<SortParseOperation,LExpr*> cur = todo.pop(); in declareSort()545 SortParseOperation op = cur.first; in declareSort()