Given an operator, find its OperatorKey. @param op Logical operator. @return associated OperatorKey
(E op)
| 130 | * @return associated OperatorKey |
| 131 | */ |
| 132 | public OperatorKey getOperatorKey(E op) { |
| 133 | return mOps.get(op); |
| 134 | } |
| 135 | |
| 136 | /** |
| 137 | * Given an OperatorKey, find the associated operator. |