public int hashCode() { return predicate.hashCode() + getAllArguments().hashCode(); } }
public boolean equals( Object other ) { if ( other != null && getClass().equals( other.getClass() ) ) { RuleAtom atom = ( RuleAtom ) other; return getPredicate().equals( atom.getPredicate() ) && getAllArguments().equals( atom.getAllArguments() ); } return false; }
public boolean equals( Object other ) { if ( other != null && getClass().equals( other.getClass() ) ) { RuleAtom atom = ( RuleAtom ) other; return getPredicate().equals( atom.getPredicate() ) && getAllArguments().equals( atom.getAllArguments() ); } return false; }
public int hashCode() { return predicate.hashCode() + getAllArguments().hashCode(); } }