This project is read-only.

Syntax

May 4, 2011 at 10:24 PM

Can anyone please tell what will be the new vcc syntax for 

set_closed_owner(l, l')? 

Does set_owns(l,l') refer to _(ghost l->\owns += l->l';)?

 

Thanks.

May 5, 2011 at 8:25 AM

In the new syntax, set_closed_owner(obj, owner) is expressed by _(ghost owner->\owns += obj), similarly for giveup_closed_owner (with -=).

Stephan