SAT-Ausgabe <OutputSAT>

Zusammenfassung

Informationen zu funktionalen Parametern finden Sie im SAT-Export-Design.

Parameter

Name Typ Beschreibung
FileExtension Zeichenfolge ".sat"
FileName Zeichenfolge "Output.sat"
FileType Zeichenfolge "SAT-Datei"

Untergeordnete Elemente

sat als IvSATExport.