Exporting to an STL File

To export to an STL file, start with specifying a file format using

model.geom(<tag>).export().setSTLFormat(<format>);

where <format> is string with only two allowed values: binary and text

Use the following methods to select domains or boundaries to export:

model.geom(<tag>).export().selection().init(<edim>);
model.geom(<tag>).export().selection().set(<objnames>, <entlst>);

Use the following methods to select objects to export:

model.geom(<tag>).export().selection().init();
model.geom(<tag>).export().selection().set(<objnames>);

Finish the export by using the following line

model.geom(<tag>).export(<filename>);