Re: [prism] conditional syntax error

[Dave Parker]

Hi Mridu,

The right-hand side of a command comprises updates to variables, written
(x'=...) for each variable x. First fix that and then see if the syntax
is correct.

Best wishes,

Dave

On 08/03/2022 21:44, Mridu Nanda wrote:
> Hi,
> I am new to PRISM and would really appreciate some help with spotting
> the syntax error in this code (I have looked through examples and this
> forum, but can't find the exact same error). I am trying to use the
> conditional on the RHS of the command like this:
>
> [bid] s1=1 -> site_12_slots =3 ? site_13_slots=0 : site_12_slots=1;
>
> where s1, site_12_slots, and site_13_slots are all local variables
> inside the module.
>
> The error I am getting is just a syntax error with the semi-colon
> highlighted. I have tried adding (), but that does not resolve the
> issue. Are conditionals only allowed on the LHS of commands, or is there
> something that I missing?
>
> Thanks in advance!
> Mridu
>
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker/3ab6c3c7-a06f-4b58-b5bd-23c12bf4f7a6n%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker/3ab6c3c7-a06f-4b58-b5bd-23c12bf4f7a6n%40googlegroups.com?utm_medium=email&utm_source=footer>.