@Override
public int hashCode() {
final int prime = 31;
int result = 1;
result = prime * result + formula.hashCode();
result = prime * result + length;
result = prime * result + pts.hashCode();
result = prime * result + ssa.hashCode();
return result;
}
@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);
}