RE: how to express condition

Try this:
{all user: User | user.Zone = sectionA => user.state =low
}

From: alloy-discuss@... [mailto:alloy-discuss@...] On Behalf Of ylayouni
Sent: 24 June 2008 23:40
To: alloy-discuss@...
Subject: [alloy-discuss] how to express condition


Hello Alloy users

please how can we build a condition like this :

for all user.Zone=sectionA then those user.state=low

i try to do this :
fact {
user.Zone=sectionA => user.state=low
}

but the analyzer dont applies this condiction for all users !!

thank you