Searched refs:SPO_PARSE (Results 1 – 1 of 1) sorted by relevance
519 SPO_PARSE, in declareSort() enumerator541 todo.push(make_pair(SPO_PARSE,sExpr)); in declareSort()568 ASS_EQ(op,SPO_PARSE); in declareSort()578 todo.push(make_pair(SPO_PARSE,lIt.next())); in declareSort()647 todo.push(make_pair(SPO_PARSE,def.body)); in declareSort()