Local eq comparator. Returns true if this expr is equal to 'that' ignoring children.
(Expr that)
| 1031 | * Local eq comparator. Returns true if this expr is equal to 'that' ignoring children. |
| 1032 | */ |
| 1033 | protected boolean localEquals(Expr that) { |
| 1034 | return getClass() == that.getClass() && |
| 1035 | (fn_ == null ? that.fn_ == null : fn_.equals(that.fn_)); |
| 1036 | } |
| 1037 | |
| 1038 | /** |
| 1039 | * Returns true if two expressions are equal. The equality comparison works on analyzed |