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 <[email protected]<mailto:[email protected]>> wrote: 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 ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list [email protected]<mailto:[email protected]> https://lists.sourceforge.net/lists/listinfo/hol-info ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
------------------------------------------------------------------------------
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
