question: equal terms have identical name , though not necessarily the same reference . concode_field_sep CharSequence name concode_field_sep boolean setName concode_elem_sep int getTemporalOrder concode_elem_sep void renameVariables concode_elem_sep int compareTo concode_elem_sep boolean containsTermRecursively concode_elem_sep int containedTemporalRelations concode_elem_sep boolean isConstant concode_elem_sep short getComplexity concode_elem_sep boolean containsTerm concode_elem_sep int hashCode concode_elem_sep CharSequence name concode_elem_sep Term clone concode_elem_sep String toString concode_elem_sep boolean containVar
target: boolean function ( final Object arg0 ) { if ( ! ( arg0 instanceof Term ) ) return false ; Term loc0 = ( Term ) arg0 ; if ( loc0 . hashCode ( ) != hashCode ( ) ) { return false ; } return name . equals ( loc0 . name ( ) ) ; }