@Override
public final boolean equals(@Nullable Object o) {
if (!(o instanceof AbstractFormula)) {
return false;
}
return formulaInfo.equals(((AbstractFormula<?>) o).formulaInfo);
}
@Override
public final String toString() {
return formulaInfo.toString();
}
@Override
public final int hashCode() {
return formulaInfo.hashCode();
}