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