Array declaration in PRISM

[Abeeha Fatima]

Hey,

I want to know how arrays are declared in PRISM. for multiple nodes?

[Dave Parker]

Hi Abeeha,

We don't yet support arrays I'm afraid. We hope to add that soon.

Best wishes,

Dave

> Hey,
> I want to know how arrays are declared in PRISM. for multiple nodes?
>

> --
> 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/a263338c-5fde-46b3-aae3-2788d245eed3n%40googlegroups.com <https://groups.google.com/d/msgid/prismmodelchecker/a263338c-5fde-46b3-aae3-2788d245eed3n%40googlegroups.com?utm_medium=email&utm_source=footer>.