This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 588

Summary: Uppaal SMC features: operations and limitations of double/clock type
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: DocumentationAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: enhancement CC: johnh
Priority: P5    
Version: 4.1.19   
Hardware: All   
OS: All   
Architecture:

Description Marius Mikučionis 2014-10-30 08:10:45 CET 
The following needs to be documented in Help:

1) Precision of integers and double floating point variables.

2) Built-in functions for floating point variables:
exp, ln, log, sin, cos, sqrt, random (uniform), fabs, pow, ceil, floor

(some more candidates: tan, asin, acos, atan, sinh, cosh, tanh, asinh, acosh, atanh, log2, exp2, min, max)

3) expression types in weights of edges and exponential rates on locations.

4) conversion rules between double and integer.