How to declare a global Boolean variable?

[ptroja]

Dear PAT experts,

it seems that all global variables in CSP# are of integer type, am I right?

Section 3.1.1.2 (Process Definitions) of the PAT (3.5) User Manual says that I can "store the returned value in a global Boolean variable," but how do I declare a one?

Thanks,
Piotr Trojanek

[pat team]

you can just use following to declare a boolean var.
PAT doesn't do the type checking, so you can assign int value to b, but this is the way to declare bool var in PAT.

var b = false;

Dear PAT experts,

it seems that all global variables in CSP# are of integer type, am I right?

Section 3.1.1.2 (Process Definitions) of the PAT (3.5) User Manual says that I can "store the returned value in a global Boolean variable," but how do I declare a one?

Thanks,
Piotr Trojanek