error syntax "%"

13 views
Skip to first unread message

Fatma Kachi

unread,
Feb 8, 2022, 4:24:25 AMFeb 8
to PRISM model checker
Greetings PRISM community!

I have a question please.
I have tried the following lines of code for a parameterized DTMC:

dtmc

const double pFlight   = %Flight_p; //1 - 0.01;
const double pHotel    = %Hotel_p; //1 - 0.01;
const double pBike     = %Bike_p; //1 - 0.01;
const double pCar      = %Car_p; //1 - 0.01;
const double pAttract  = %Attract_p; //1 - 0.01;

//non-parameterised for now.

But I get this error: error syntax "%"...

Does anyone have a solution for this, please?

Thank you in advance.
Fatma.

Dave Parker

unread,
Feb 8, 2022, 4:27:24 AMFeb 8
to prismmod...@googlegroups.com, Fatma Kachi
Hi Fatma,

This is incorrect syntax, since we do not allow % to appear in
variable/constant names. If you remove the %, it should work.

Best wishes,

Dave

On 08/02/2022 05:03, Fatma Kachi wrote:
> Greetings PRISM community!
>
> I have a question please.
> I have tried the following lines of code for a parameterized DTMC:
>
> dtmc
>
> const double pFlight *= %Flight_p;* //1 - 0.01;
> const double pHotel *= %Hotel_p; *//1 - 0.01;
> const double pBike *= %Bike_p;* //1 - 0.01;
> const double pCar *= %Car_p; *//1 - 0.01;
> const double pAttract *= %Attract_p;* //1 - 0.01;
>
> //non-parameterised for now.
>
> But I get this error: */error syntax "%"/*...
>
> Does anyone have a solution for this, please?
>
> Thank you in advance.
> Fatma.
>
> --
> 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/50ab33ed-f891-432f-af05-14c7003f39dan%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker/50ab33ed-f891-432f-af05-14c7003f39dan%40googlegroups.com?utm_medium=email&utm_source=footer>.

FATMA FATMA

unread,
Feb 10, 2022, 11:31:09 PMFeb 10
to prismmod...@googlegroups.com
Hi Gethin,


Thank you very much for this clarification.


Sincerely,
Fatma. 




To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchec...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/prismmodelchecker/3a16a1ad-d0c0-2195-30a8-f1d2dfbce01a%40cs.bham.ac.uk.
Reply all
Reply to author
Forward
0 new messages