Home
last modified time | relevance | path

Searched refs:LT_RIGHT_OP (Results 1 – 2 of 2) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DCParser.hpp184 LT_RIGHT_OP, enumerator
H A DCParser.cpp635 token.type = LT_RIGHT_OP; in tokenize()
1316 case LT_RIGHT_OP: in shiftExpression()