Skip to content

Commit

Permalink
fixed formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
mikucionisaau committed Apr 16, 2024
1 parent 30269bb commit 72c0be1
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ The external functions are supported since Uppaal Stratego version 4.1.20-7, or

{{% notice warning %}}
The external function calls must be ***deterministic***: for any argument values, the function should produce the same result at any time when called with the same values.<br>
Uppaal does ***not** check and *will not warn* if an external function is behaving *deterministically*.<br>
Uppaal does ***not*** check and *will not warn* if an external function is behaving *deterministically*.<br>
For example:
- *Side-effect-free* (or *free*) functions, which do not depend on [`static`](https://en.wikipedia.org/wiki/Static_variable) variables, are *deterministic*.
- [Memoization pattern](https://en.wikipedia.org/wiki/Memoization) is not *side-effect-free*, but results in *deterministic* behavior.
Expand Down

0 comments on commit 72c0be1

Please sign in to comment.