[prev in list] [next in list] [prev in thread] [next in thread] 

List:       avispa-users
Subject:    Re: [Avispa-users] if else issue at avispa
From:       Laurent Vigneron <laurent.vigneron () loria ! fr>
Date:       2010-12-07 7:36:58
Message-ID: 4CFDE41A.6080309 () loria ! fr
[Download RAW message or body]

Dear Oğuz,

The left-hand side of transitions are conditions, so this is easy to 
simulate an if then else.
Here is an example corresponding to:
if Var1 = Var2 then SND(Answer1) else SND(Answer2)

1a. State = 1
    /\ Var1 = Var2
    /\ RCV(Message') =|>
    State':= 2
    /\ SND(Answer1)
1b. State = 1
    /\ Var1 /= Var2        % or: not(Var1 = Var2)
    /\ RCV(Message') =|>
    State':= 3
    /\ SND(Answer2)

Best regards,
Laurent.


Le 06/12/2010 23:01, Oğuz Yarımtepe a écrit :
> Is there any if else statement at avispa? I mean, at some point fs the
> value of a variable is x then do this else do this type of decleration?
>
> Thanx.
_______________________________________________
Avispa-users mailing list
Avispa-users@avispa-project.org
http://mail63.csoft.net/mailman/listinfo/avispa-users

[prev in list] [next in list] [prev in thread] [next in thread]