Re: Comparing DS_HASH_TABLE objects

Colin Paul Adams wrote:
>>>>>> "Helmut" == Helmut Brandl <[email protected]> writes:
> 
>     Helmut> But why have different operators of object equality and
>     Helmut> reference equality in the first place? Why not
> 
>     Helmut>   a = b -- test for object equality $a = $b -- test for
>     Helmut> address equality (i.e. reference equality)
> 
>     Helmut> since we have already the address operator in Eiffel?
> 
> My guess is that $ was added later.
> 
> What interest me is what should happen when two agents are compared
> for equality.

For me an agent is an object which represents a feature and has some
open and closed arguments. Two agents shall be equal if they represent
the same feature, have the same open and closed argument positions and
all closed arguments are equal (since they are contained in the agent).

Do your agents behave differently if you use "~" to compare two agents?



> Currently we have {FUNCTION}.is_equal defined which gives you a sort
> of partial test for equality of functions. This strikes me as a little
> odd.
> 
> I use {ROUTINE}.is_equal in postconditions for specifying the
> semantics of Vision2 actions (such as pushing a button). But this is a
> little overly restrictive (you ought to be able to redefine an action
> to use any agent equivalent to the one specified, but this requires a
> theorem prover, I think).

I don't understand what you mean by that?

Helmut


------------------------------------

To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: [email protected]! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/gobo-eiffel/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/gobo-eiffel/join
    (Yahoo! ID required)

<*> To change settings via email:
    mailto:[email protected] 
    mailto:[email protected]

<*> To unsubscribe from this group, send an email to:
    [email protected]

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/