@Override
public boolean equals(@Nullable Object obj) {
if (this == obj) {
return true;
}
if (!(obj instanceof PathFormula)) {
return false;
}
PathFormula other = (PathFormula) obj;
return (length == other.length)
&& formula.equals(other.formula)
&& ssa.equals(other.ssa)
&& pts.equals(other.pts);
}
