| Name | Description |
|---|---|
| Connector used to force a particular ordering of equations and to pass information about satisfied requirements | |
| Initialize log file (remove existing file and add a blank line | |
| Print information about one requirement to log file | |
| Print violated, untested and satisfied requirements to output window | |
| Remove first name of a Modelica path name | |
| Get first name of a Modelica path name | |
| Remove first part of one line of the log file (until ",") | |
| Extract the elements from a log line | |