error syntax "%"

[Fatma Kachi]

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]

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]

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.