Code example for Collection

Methods: hashCode

0
	public ATermAppl getName() { 
		return name;
	} 
	 
	public int hashCode() { 
		return getBody().hashCode() + getHead().hashCode();
	} 
 
	public String toString() {
		StringBuilder sb = new StringBuilder();
		sb.append(  "Rule(" );
		if( name != null ) {
			sb.append( ATermUtils.toString(name) );
			sb.append( " " );
		} 
		sb.append( getBody() );
		sb.append( " => " );
		sb.append( getHead() );
		sb.append( ")" );
		 
Contextual code suggestions in your IDE  Get Codota for Java