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.
Übergeordnetes Thema:
Ausgabe-Mixin <OutputMixin>