I'm not sure what you are using when you refer to UPPAAL 4.
Guessing wildly: one way to combine constraints might be to put a conjunction
(/\) between them...
Michael
On 14 Aug 2015, at 23:34, Adnan Rashid Raja
mailto:adnanraja...@yahoo.com>> wrote:
Dear all,
Can anyone please tell me, how w
Dear all,
Can anyone please tell me, how would I put 2 guards in UPPAAL 4 for a
transition. I am using comma sign in between both of them, but it gives me
error. Please help me out of this. Thanks.
--Adnan
--
