This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
1
stars
13
forks
source link
page /language-reference/system-description/declarations/types/ referes to External Functions not found in uppaal doc #2
Open
yrke opened 4 years ago
The folling text:
Floating-point variables of the double-type behave like C-doubles. Certain restriction applies to the use of doubles in symbolic contexts.
Variables of string type must be declared constant. The primary use of string variables is in combination with External Functions
But the text is not found in uppaal help