Home | History | Annotate | Download | only in text

Lines Matching defs:OPERATORS

136     // Operators
142     private static final String OPERATORS = "=><\u2190\u2192\u2194";
1156             OPERATORS.indexOf(operator = rule.charAt(--pos)) < 0) {